Jon Sterling on Nostr: I'm playing around with using Lean as a dependently typed Haskell, and it is working ...
I'm playing around with using Lean as a dependently typed Haskell, and it is working pretty well...
Published at
2025-02-10 17:38:08Event JSON
{
"id": "56976efb9056ecb022c956ed88bd8e2255327876faae5924ca43334994bb7a18",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1739209088,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/113980806836542469",
"activitypub"
]
],
"content": "I'm playing around with using Lean as a dependently typed Haskell, and it is working pretty well...",
"sig": "2030494dadbbd15aab6ccaa7de26b28985c65024f4b02cb5fe744d952ac62d02dd4387cf90a479cb93a9c8ac0d434ff31592c26a8f1a9e4e071177c7ea1ac52b"
}
