José A. Alonso on Nostr: An agda2hs-compatible representation of exact real arithmetic. ~ Viktor Csimma. ...
Published at
2025-01-16 08:01:41Event JSON
{
"id": "f168a7cb811119a3d72c9dffa769f1bcda50da8d4a012361e603900b69e2bcaa",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737014501,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"agda"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113836982351860875",
"activitypub"
]
],
"content": "An agda2hs-compatible representation of exact real arithmetic. ~ Viktor Csimma. https://csimmaviktor.web.elte.hu/acorn.pdf #ITP #Agda #FunctionalProgramming #Haskell",
"sig": "d87e5cd6f6c1c847c7b2cb298fc3ac8d6e13349de35ca0a6bfc2fe005dcef83efad8216b1e32fe5d2713052dab1377f0bc44744a74df68df870e181b14a6e65d"
}
