Jean Abou Samra (new account) on Nostr: I just created a Wikipedia page "Semantics of type theory". At the moment, it is a ...
I just created a Wikipedia page "Semantics of type theory". At the moment, it is a stub, containing only the definition of a CwF. I plan to expand it, but by all means do beat me to it.
{
"id":"0955a57aeaaa38cd43a8c3560b8e494f9e896736f0f566e87530c982dce943d4",
"pubkey":"a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at":1763744283,
"kind":1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115588745364147142",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content":"I just created a Wikipedia page \"Semantics of type theory\". At the moment, it is a stub, containing only the definition of a CwF. I plan to expand it, but by all means do beat me to it.\n\nhttps://en.wikipedia.org/wiki/Semantics_of_type_theory",
"sig":"8fb5b9226ea7b19c1495ef05a2353c320d12126eddc5a75b0b710c0f5870d77ae1586b930ea4368e832e70f116cd0b2338b2f1a1b01b9ed501706ad50a07413b"
}