Idris is a fully-featured programming language inspired by Haskell that has full support for dependent types.

Resources a proof that idris is pacman complete, the most important part of a programming language :: Idris resources :: Starting Idris Koans: small tidbits of Idris idris 2… you know what that means

October 14, 2020