jbzfn, 27 days ago to FunctionalProgramming 「 CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself 」 https://cakeml.org #CakeML #FunctionalProgramming #PLT #CompSci
「 CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself 」
https://cakeml.org
#CakeML #FunctionalProgramming #PLT #CompSci