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

send messages , not metadata
> sr.ht/~carnotweat/deltanix
, bits of

Last posted 1 day ago
Posts 8,323
Followers ▼ 571
Following 168