apoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 1 month agoCreator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroywww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCreator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroywww.youtube.comapoisel@discuss.tchncs.deM to OCaml@discuss.tchncs.deEnglish · 1 month agomessage-square0fedilink
