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

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

Last posted Less than a day ago
Posts 8,356
Followers ▼ 571
Following 168