Michael Morgan
e6121e0935
Remove trailing whitespace from Idris sources.
...
This is the result of running the command:
$ find . -name '*.idr' -type f -exec sed -i -E 's/\s+$//' {} +
I confirmed before running it that this would not affect any markdown
formatting in documentation comments.
2019-10-25 14:24:25 -07:00
Edwin Brady
bf69b89b0d
Support for buffers and file erros in Racket CG
2019-09-28 18:10:14 +01:00
Edwin Brady
f37da6c5b7
Start adding tests for TypeDD book
...
Also detailing any changes needed to the code. Added primitives for
Doubles, and repl/replWith to get Chapter 2 code to work.
2019-06-30 15:50:58 +01:00
Edwin Brady
39836f3cd0
Fix instantiation in pattern unification
...
There was an optimisation that wasn't valid, and it turns out it doesn't
have any useful effect anyway.
2019-06-28 19:41:25 +01:00
Edwin Brady
c121910298
Add 'base' libraries
2019-06-15 11:54:22 +01:00
