ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
1,991 Commits 4 Branches 42 Tags 40 MiB
f27d3bb85a
Commit Graph

3 Commits

Author SHA1 Message Date
Hannes Mehnert
2297270b80 unify help and completion of REPL - previously they were not in sync, now it is one lookup table 2013-03-13 15:24:15 +01:00
David Christiansen
11f687e636 Add myself to CONTRIBUTORS 
(gotta stoke the flames of ego)
 2013-03-12 17:31:47 +01:00
Edwin Brady
83e4758e65 Added CONTRIBUTORS file. Feel free to edit :). 2013-01-13 14:05:31 +00:00