Peck by eumemic 🦍 - peck.to

eumemic 🦍 5.6y

13c6cF…fHBt Key · twetch

Eumemic @dysmemic Under the Curry-Howard isomorphism, types correspond to propositions and programs having those types correspond to proofs of those propositions

What the chain says

Transaction: 395cd147edbf300dc5a632c5b04669e8333a274e1100ccc949d8c97a6cd2bfd6
Block: 678 575
Time: 2021-03-15T17:28:27Z
Signer: 13c6cFSWuBpwLzTK6dopvYQb4fFgAqfHBt
App: twetch
Type: post
Content type: text/plain

Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.

Signed by 13c6cFSWuBpwLzTK6dopvYQb4fFgAqfHBt Verified