april aka cyberglot on Nostr: new PL trend idea: we use System F as an example rather than STLC.
new PL trend idea: we use System F as an example rather than STLC.
Published at
2025-04-23 12:29:26Event JSON
{
"id": "7be87bfffc0300ce69a7ad85f01ebfe7611005e89b779e7869a625a8366f416d",
"pubkey": "ba0e1688a7414193a26f371924e606bbfef27833b13b83d4d81b376e3dcc8edf",
"created_at": 1745411366,
"kind": 1,
"tags": [
[
"proxy",
"https://cyberglot.lol/users/april/statuses/114387279312718439",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "new PL trend idea: we use System F as an example rather than STLC.",
"sig": "ae4ef40a3bc817342349f745e6865a96da003cee3a9517c3b5486ae83c42e4cc841a2ca497fb5b9e3b524cd4d99b97621647d817288ebcedf31410afdee29cb6"
}
