| .. |
|
ffi
|
[ docs ]: fix typo (#1893)
|
2021-09-01 21:06:29 +01:00 |
|
FFI-readline
|
Use pragma once instead of include guard
|
2021-06-28 12:05:22 +01:00 |
|
proofs
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
bmain.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
BTree.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
deprec.idr
|
[ fix #1959 ] use modern record update syntax (#2196)
|
2021-12-16 18:23:18 +00:00 |
|
dummy.ipkg
|
fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr
|
2021-01-22 15:08:49 +00:00 |
|
fctypes.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
holes.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
Interp.idr
|
removed trailing whitespace (#955)
|
2021-01-21 11:33:03 +00:00 |
|
InterpE.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
io.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
listcomp.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
multiplicity.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
MyOrd.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
NamedSemi.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
params.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
Prims.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
Proofs.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
Vect.idr
|
[ fix #1959 ] use modern record update syntax (#2196)
|
2021-12-16 18:23:18 +00:00 |
|
Void.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
wheres.idr
|
Copy samples directory from Idris2-boot
|
2020-06-30 10:51:09 +01:00 |
|
With.idr
|
removed trailing whitespace (#955)
|
2021-01-21 11:33:03 +00:00 |
