2 of the best OCaml projects on Mastodon.

HoldMyType
@xameer@mathstodon.xyzgit log -p -- @xameer
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched
Last posted
Less than a day ago
Posts
▼ 9,798
Followers
591
Following
190
Dinosaure
@dinosaure@mastodon.social
Last posted
1 week ago
Posts
▼ 409
Followers
241
Following
167