|
app
|
Update linear.rst
|
2020-06-22 21:23:45 +01:00 |
|
backends
|
Update JS code generator to remove RF
|
2020-07-08 22:40:47 +01:00 |
|
faq
|
replace HTTP links with HTTPS
|
2020-05-27 14:50:05 +02:00 |
|
ffi
|
Fix documentaton error
|
2020-06-21 19:56:23 +01:00 |
|
image
|
Some documentation updates
|
2020-05-25 09:03:08 +01:00 |
|
implementation
|
Add some implementation notes to the docs
|
2020-07-10 15:21:24 +01:00 |
|
listing
|
Update docs
|
2020-06-30 18:44:36 +06:00 |
|
proofs
|
Copy more files over from Idris2
|
2020-05-20 11:23:04 +01:00 |
|
reference
|
Update postfix projection doc.
|
2020-07-07 21:06:35 +01:00 |
|
tutorial
|
Remove forgotten .field from docs.
|
2020-07-07 21:06:35 +01:00 |
|
typedd
|
Vect updates (#335)
|
2020-07-04 11:02:04 +01:00 |
|
updates
|
Update docs to reflect changes to ipkg format
|
2020-06-05 22:14:16 -07:00 |
|
conf.py
|
Fix latex rtd generation
|
2020-05-20 18:53:56 +01:00 |
|
index.rst
|
Add some implementation notes to the docs
|
2020-07-10 15:21:24 +01:00 |
