|
|
e871ede85f
|
Library additions from AoC
|
2025-12-16 20:14:19 -08:00 |
|
|
|
11ffd96a91
|
Remove erased function arguments
|
2025-10-23 22:34:14 -07:00 |
|
|
|
6a4da51e8a
|
use if/then/else for some constructor cases
|
2025-10-20 15:22:00 -07:00 |
|
|
|
1432316fac
|
SortedMap uses any comparator
|
2025-09-01 15:48:20 -07:00 |
|
|
|
ab276ca992
|
TODO updates, remove unused file
|
2025-06-03 20:54:29 -07:00 |
|
|
|
7dc9751359
|
Use serialized modules
|
2025-03-22 17:20:53 -07:00 |
|
|
|
1219e8d4e5
|
tarjan is running on CExp now
|
2025-03-16 11:28:21 -07:00 |
|
|
|
5ab2a28bcf
|
Prep to switch from Def to CExp for backend passes.
|
2025-03-15 15:46:56 -07:00 |
|
|
|
3c2615ecc1
|
move idris version to orig and newt version to src.
Development is being done on the newt version now.
|
2025-02-15 16:36:29 -08:00 |
|
