▲ 5 ▼ Formal methods and the future of programming (blog.janestreet.com) submitted 4 months ago by apoisel@discuss.tchncs.de to c/ocaml@discuss.tchncs.de 2 comments fedilink hide all child comments
[–] colourlessidea@sopuli.xyz 3 points 4 months ago Wow had no idea about this. Thanks for sharing! permalink fedilink source parent