nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq2s20ay2ec8wukjwll572prv7xe5g0d399j5zt69kna7f7j6x25lsr5jujk (nprofile…jujk) #hazel looks interesting. Not heard of yet.
Hazel is a live functional-programming environment rooted in the principles of type theory.
https://hazel.org/
https://github.com/hazelgrove/hazel
#functionalprogramming #elm #reasonml #ocaml
Felix /
npub1v0…777ug
2025-01-02 11:02:42
in reply to nevent1q…vr3s
Author Public Key
npub1v0ysgvsysg38696t5dukqjdgkj8pu5np98mgng38ye8cqgsay7csd777ugPublished at
2025-01-02 11:02:42Event JSON
{
"id": "fc6fbfcc60d5fa91f87a8672a07fcf60307da02bc27402948203b07f95f2dddc",
"pubkey": "63c904320482227d174ba3796049a8b48e1e526129f689a227264f80221d27b1",
"created_at": 1735815762,
"kind": 1,
"tags": [
[
"p",
"5414fe9159c1ddcb49dffd3ca08d9e366887b6252ca825e8b69f7c9f4b46553f",
"wss://relay.mostr.pub"
],
[
"p",
"ae17af694baeca74f05b598941771b1de5875d05ad72fae9e1411bffdfa6f8e0",
"wss://relay.mostr.pub"
],
[
"e",
"11248603e35aa57d44246634af07863ccde8785cfd617712257987be0030fa6f",
"wss://relay.mostr.pub",
"reply"
],
[
"t",
"hazel"
],
[
"t",
"functionalprogramming"
],
[
"t",
"elm"
],
[
"t",
"reasonml"
],
[
"t",
"ocaml"
],
[
"proxy",
"https://norden.social/users/leobm/statuses/113758421805472703",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq2s20ay2ec8wukjwll572prv7xe5g0d399j5zt69kna7f7j6x25lsr5jujk #hazel looks interesting. Not heard of yet. \n\nHazel is a live functional-programming environment rooted in the principles of type theory.\n\nhttps://hazel.org/\n\nhttps://github.com/hazelgrove/hazel\n\n#functionalprogramming #elm #reasonml #ocaml",
"sig": "bd43a0b3a1605e642ad05d58a1af619bca5c80401a259ee9a582d91d3ec6c8c1870259f1485c7e23a193f5924e250e9e0f181964350c9acb6c6d910eda8b4c76"
}