3 ms·
If you're passingly familiar with Haskell or similar languages, you could give Idris a try. https://www.idris-lang.org/ https://www.idris-lang.org/
by icen 6y ago
If you're passingly familiar with Haskell or similar languages, you could give Idris a try.
https://www.idris-lang.org/ https://www.idris-lang.org/