logo FEDIDEVS

FEDIDEVS

1 of the best OCaml project on Mastodon.

Best Project ocaml OCaml
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

time matters when it pays off
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted Less than a day ago
Posts 7,806
Followers 570
Following ▼ 159