git.iko.soy/Idris-dev
on fbeeb45 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Allow simple function types to be reflected IRTS/javascript: whitespace Idris/Move universe level check to after all modules are loaded ...otherwise it gets repeated needlessly for every module Pkg/Some unification fixes Util/default case for hostDynamicLibExt. .ghciAdded .ghci specifying language extensions. Main.hsCorrect documentation for --cpu