Alex Gryzlov
a312409e19
add Data.List.Quantifiers
2020-05-24 03:15:38 +02:00
Edwin Brady
ad9a2a187f
Fix Char casting
...
For the same behaviour as Idris 1, the primitive cast should return 0 if
the integer is out of bounds. (We should probably drop the Cast
implementation though, since ideally they won't be lossy in general, but
that's an issue for another time...)
All the tests pass in racket now, for me.
2020-05-23 22:19:10 +01:00
Edwin Brady
cff5fc2625
Workaround for byte vectors in Racket
...
Racket appears to have a different notion of current directory than the
system does, so we need to tell it which directory we think we're in
when reading and writing bytevectors using the scheme file functions.
2020-05-23 21:37:31 +01:00
Matthieu JACQUOT
f84850ea36
add minus proofs on Nats from Idris1
2020-05-22 22:39:09 +02:00
Kamil Shakirov
806c993d99
Move System.Clock from 'contrib' to 'base'
2020-05-21 17:00:09 +06:00
Edwin Brady
215ad99308
Merge pull request #86 from andylokandy/just
...
Add a total version of the fromMaybe
2020-05-20 21:41:35 +01:00
andylokandy
a51a665668
Reuse foldr1 in foldr1'
2020-05-21 02:35:18 +08:00
andylokandy
5252a7ae3b
Add a total version of the fromMaybe
2020-05-21 02:11:35 +08:00
andylokandy
8de668f1a4
Add folds without default value to List
2020-05-21 02:09:14 +08:00
andylokandy
0d82b5d7da
Add System.Path
2020-05-20 22:51:01 +08:00
Edwin Brady
2569b6e991
Update libraries from upstream
2020-05-19 17:03:18 +01:00
Kamil Shakirov
b801b97fcc
Refactor makefiles
2020-05-19 18:50:47 +06:00
Edwin Brady
6bbb914fca
Merge pull request #1 from edwinb/remove-directory-system
...
Add rmDir to System.Directory
2020-05-19 12:24:35 +01:00
Edwin Brady
ede324dc6c
Don't collapse empty lines in 'lines'
...
Now the vim mode works!
2020-05-19 10:47:05 +01:00
André Videla
3321dc6be3
Add rmDir to System.Directory
2020-05-18 18:28:33 +01:00
Edwin Brady
4125b76e90
Add Reflection to base
2020-05-18 16:57:43 +01:00
Edwin Brady
f7b285ec6c
Add paths for install
...
Also remove libraries we aren't using quite yet...
2020-05-18 16:29:18 +01:00
Edwin Brady
dec7dff622
Add libraries
2020-05-18 14:00:08 +01:00
