xrchz

5 ms·

1. 1.▲
   by xrchz 8y ago

   https://github.com/CakeML/cakeml/issues/111
2. 2.▲
   by xrchz 8y ago

   I don't think that's clear. - HOL4, Isabelle, ProofPower : Standard ML - Coq, HOL Light, HOL Zero : OCaml - Lean : C++ - Agda, Idris: Haskell - Mizar : Pascal - Metamath : C
3. 3.▲
   by xrchz 8y ago

   One area people tend to use ML-based languages is software that makes heavy use of algebraic/inductive datatypes, e.g., compilers and interactive theorem provers. (Implementing a theorem prover was the original motivation for ML.) That
4. 4.▲
   Get GNU/Linux(getgnulinux.org)

   2 points by xrchz 14y ago|0 comments