git.iko.soy/Idris-dev
on 3badee5 help sign in
Idris-dev/libs
5 folders, 1 file
../ base/Minor docstring additions effects/Standard IO effect docstrings javascript/Remove conflicting fixity declaration oldeffects/Make 'neweffects' the official effects package prelude/Allow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression. MakefileRemove oldeffects from build