CFFI
|
test/ffi008 was failing on x86
|
2018-03-31 00:30:44 +02:00 |
Control
|
Simplify proofs of algebra laws
|
2020-03-06 16:07:00 -06:00 |
Data
|
Add more reverse properties
|
2020-03-06 16:07:00 -06:00 |
Decidable
|
Change Instance to implementation (#3404)
|
2016-09-10 21:06:44 +02:00 |
Language
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
Test
|
Tidied up the ipkg listing.
|
2017-11-09 10:32:17 +00:00 |
Text
|
fix octal digits lexer
|
2018-11-25 13:43:50 +08:00 |
CFFI.idr
|
Start high level C FFI support
|
2016-03-06 13:32:30 +01:00 |
contrib.ipkg
|
Rename List.Extra to List.Reverse
|
2020-03-06 16:07:00 -06:00 |
Makefile
|
Allow overriding IDRIS via environment variable
|
2018-03-23 13:31:14 +01:00 |