{
"id":"bfd0910cad37c928c0c01a5c4b94358c4ea62f83ad0bbfc3dd39ce4c583acbb8",
"pubkey":"43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at":1711139753,
"kind":1,
"tags": [
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112141254858882367",
"activitypub"
]
],
"content":"I’m slowly figuring out how to illustrate some features of normalisation in the λμ calculus and classical natural deduction.\n\nhttps://spaces.hcommons.social/media_attachments/files/112/141/254/748/293/061/original/662b7916f6de11d7.mp4",
"sig":"c8ef637f3ed9566b81ef3fbeafb07c579b112bc40abdba3823ca0e9f7635ecfdd490ac3a23eca4243266b0ed6325f7266bb9fc79a9e2739bd212cde0fd27e485"
}
