git.iko.soy/Idris-dev
on 09615d5 help sign in
Idris-dev/lib
6 folders, 6 files
../ Control/an Applicative instance for StateT s f where f is a Monad. Data/Functor instance for Homomorphism. Language/uppercase modulenames Network/Applicative and Functor instances for CGI. Prelude/made Monad a subclass of Applicative. System/Type safe message passing concurrency Builtins.idradded Eq instance for Bool IO.idrTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible Makefileuppercase modulenames Prelude.idrFunctor instance for IO. System.idrLibrary now builds with "--total" base.ipkgmoved morphisms to lib/Data