mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
Update bootstrap scheme
The older version had a lingering bug from upstream Idris in writing Integers to TTC
This commit is contained in:
parent
ddd3ff151d
commit
a5638e0aac
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue
Block a user