edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-01 06:12:57 +03:00
Code Issues Projects Releases Wiki Activity
257d381524
Idris2-boot/src/Utils
History
Edwin Brady 762f6010dd Basic TTC saving and loading now works 
Only save the parts of terms and definitions which are needed for
typechecking and evaluation (so, for example, we don't need types for
machine generated metavariables, don't need types on lambdas, etc).
2019-04-25 14:46:36 +01:00
..
Binary.idr Basic TTC saving and loading now works 2019-04-25 14:46:36 +01:00