idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-07 08:18:12 +03:00
Code Issues Projects Releases Wiki Activity
e4d892490d
Idris2/src
History
Jonas Claesson e4d892490d Add option to compile to C on Gambit CG 
Use the '--codegen gambit --directive C' compilation flags.
2020-10-31 09:14:15 +01:00
..
Algebra Add visibility rules on types 2020-05-30 17:03:15 +01:00
Compiler Add option to compile to C on Gambit CG 2020-10-31 09:14:15 +01:00
Core Merge pull request #739 from edwinb/refcount-c 2020-10-21 11:12:28 +01:00
Data Merge branch 'unscheme' into master 2020-10-11 08:20:01 +02:00
Idris Merge pull request #739 from edwinb/refcount-c 2020-10-21 11:12:28 +01:00
Parser Merge branch 'revert-projections' into master 2020-10-11 08:12:00 +02:00
Text Merge branch 'unscheme' into master 2020-10-11 08:20:01 +02:00
TTImp Merge branch 'revert-projections' into master 2020-10-11 08:12:00 +02:00
Utils [ fix #63 ] interleaving let binders and local declarations (#691) 2020-09-28 13:15:22 +01:00
Yaffle [ refactor ] split up Core.Context 2020-09-16 15:45:16 +01:00
Algebra.idr [ debug ] pretty printer for case trees (#652) 2020-09-09 16:22:22 +01:00