3 ms·This is not Haskell. Everything is implemented in Isabelle/HOL.by nextos 5y agoThis is not Haskell. Everything is implemented in Isabelle/HOL.