Update scheme/racket to deal with Bits types

Browse Source

We need to add Bits primitives to Idris2-boot to keep that at least able
to build this for bootstrapping purposes.

...

This commit is contained in:

Edwin Brady 2020-06-01 11:58:22 +01:00

parent 2eb2ce6097

commit 7f6de27f5c

2 changed files with 10728 additions and 10274 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10505

bootstrap/idris2_app/idris2.rkt

View File

File diff suppressed because one or more lines are too long

10497

bootstrap/idris2_app/idris2.ss

View File

File diff suppressed because one or more lines are too long