logo FEDIDEVS

FEDIDEVS

1 awesome OCaml project on Mastodon that posted recently.

Project Recently posted 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,842
Followers ▼ 572
Following 159