Commit Graph

5 Commits

Author SHA1 Message Date
7dc9751359 Use serialized modules 2025-03-22 17:20:53 -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
1490fc601b add log levels, make output less noisy 2025-01-25 22:11:46 -08:00
e3ae301c9c performance and code size improvements
- Use default case for constructors with no explicit match.
- self-compile is 15s now
- code size is 60% smaller

code size and self compile time on par with the idris-built version
2025-01-18 21:33:49 -08:00