git.iko.soy/Idris-dev
on e12ef39 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Make 'count' partial/abstract to prevent compile-time reduction Deals with issue #171 IRTS/Remove the unused arg from lookup functions Idris/Fix :t for metavariables Fixes issue #280 Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Implement dynamic linking on Windows Main.hsquiet mode: for editors