git.iko.soy/Idris-dev
on aa7262e help sign in
Idris-dev/src
6 folders, 1 file
../ Core/(Experimental) Create deferred definitions by application IRTS/Adding support for Windows MingW32 Idris/Put deferred names in the right namespace Pkg/Adding support for Windows MingW32 RTS/Adding support for Windows MingW32 Util/Added simple library packaging system Now used for the prelude (see lib/base.ipkg) Main.hsAdding support for Windows MingW32