../ Core/If the goal is not a function type when elaborating \, invent one ...and attempt to solve it by unification14 years ago IRTS/Merge pull request #246 from bitlisp/ffi214 years ago Idris/Merge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Make dynamic library extension platform-dependent14 years ago Main.hsquiet mode: for editors14 years ago