git.iko.soy/Idris-dev
on f07ebbf help sign in
Idris-dev/libs
5 folders, 1 file
../ base/newBuffer should return a managed pointer contrib/A couple of missing control codes in Lexer effects/Allow overriding IDRIS via environment variable prelude/newBuffer should return a managed pointer pruviloj/Allow overriding IDRIS via environment variable MakefileAllow Idris to install IdrisDoc into a central location.