ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity
d952c941d4
Idris-dev/libs
History
Edwin Brady c10d5700bd Merge branch 'effLogging-updates' of https://github.com/jfdm/Idris-dev into jfdm-effLogging-updates 
Conflicts:
	CHANGELOG
2015-09-06 18:55:01 +01:00
..
base Implement a form of pattern unification 2015-09-05 19:55:05 +01:00
contrib Neg and Nat adjustments 2015-09-03 17:37:58 +01:00
effects Updates and Fixes 2015-08-27 11:57:00 +01:00
oldeffects Address semantic differences in putting things to STDOUT. 2015-03-06 17:26:33 +00:00
prelude Move Data.Floats to Prelude.Doubles 2015-09-03 19:53:22 +01:00
Makefile Initial reorganization into contrib 2015-03-17 00:17:09 +01:00