git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/libs
5 folders, 1 file
../ base/add a couple of Fin operations contrib/use HTTPS URL instead of HTTP URL when possible effects/Correct a couple of minor typos in the effects package idrisdoc prelude/use HTTPS URL instead of HTTP URL when possible pruviloj/Allow overriding IDRIS via environment variable MakefileAllow Idris to install IdrisDoc into a central location.