Stiopa Koltsov 13a9676805 Use the same generated string in RefC backend as in other backends		2021-07-13 23:00:13 +01:00
..
Algebra	Add visibility rules on types	2020-05-30 17:03:15 +01:00
Compiler	Use the same generated string in RefC backend as in other backends	2021-07-13 23:00:13 +01:00
Core	[ new ] support compile time evaluation of new integer primops	2021-07-13 11:28:02 +01:00
Idris	[ improvement ] VMCode (#1662)	2021-07-07 17:06:59 +01:00
Libraries	[ improvement ] VMCode (#1662)	2021-07-07 17:06:59 +01:00
Parser	[ base ] add List functions (#1550)	2021-07-01 08:00:12 +01:00
TTImp	[ fix #1652 ] Save casefnty to TTC (#1686)	2021-07-13 11:04:07 +01:00
Yaffle	Cut unneeded type specifications	2021-06-28 16:22:27 +01:00
Algebra.idr	[ debug ] pretty printer for case trees (#652)	2020-09-09 16:22:22 +01:00