../ Core/Added postulate declarations postulate foo : type -- 'type' must return something of a collapsible type, i.e. a type with at most one instancei determined entirely by the indices, to ensure that it is unused at run-time.14 years ago IRTS/Adding support for Windows MingW3214 years ago Idris/Merge branch 'master' of https://github.com/edwinb/Idris-dev into windows14 years ago Pkg/Adding support for Windows MingW3214 years ago RTS/Adding support for Windows MingW3214 years ago Util/Added simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago Main.hsAdding support for Windows MingW3214 years ago