git.iko.soy/Idris-dev
on 4b21a57 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Purify Idris of "return" Data/Make arguments implicit in HVect.Shows Debug/Purify Idris of "return" Language/Change Instance to implementation (#3404) Syntax/Change export qualifier keywords System/Allow quitting threads MakefileAllow Idris to install IdrisDoc into a central location. System.idrPurify Idris of "return" base.ipkgRename Session back to Channel