ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity
203 Commits 4 Branches 42 Tags 40 MiB
6bef4f930d
Commit Graph

4 Commits

Author SHA1 Message Date
Edwin Brady
6bef4f930d Overloading lists and syntactic sugar 2011-11-29 11:25:54 +00:00
Edwin Brady
598aca471d Update interp example and test001 to use namespaces and overloading names 2011-11-29 11:06:01 +00:00
Edwin Brady
fa5f1cd8bb Namespaces 2011-11-29 01:23:34 +00:00
Edwin Brady
663c464326 Added test directory and a single test... 2011-11-17 22:13:33 +01:00