git.iko.soy/Idris-dev
on ea41144 help sign in
Idris-dev/libs
5 folders, 1 file
../ base/add 'public export' for all views and use 'really_believe_me' contrib/Text.Lexer: split core into its own module effects/adjust fixities of common operators prelude/adjust fixities of common operators pruviloj/sort modules within .ipkg files by name MakefileAllow Idris to install IdrisDoc into a central location.