../ 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/Fixing compilation in Mingw3214 years ago Idris/Merge branch 'master' of https://github.com/edwinb/Idris-dev into windows14 years ago Pkg/Fully compiles and tests under windows mingw3214 years ago RTS/Adding support for Windows MingW3214 years ago Util/Fixing compilation in Mingw3214 years ago Main.hsFixing compilation in Mingw3214 years ago