|
app
|
Fix formatting
|
2020-05-25 21:31:58 -05:00 |
|
faq
|
Small addition to FAQ on scheme performance
|
2020-05-23 12:26:05 +01:00 |
|
ffi
|
Copy more files over from Idris2
|
2020-05-20 11:23:04 +01:00 |
|
image
|
Some documentation updates
|
2020-05-25 09:03:08 +01:00 |
|
listing
|
Update installing instructions in docs
|
2020-05-20 19:09:26 +01:00 |
|
proofs
|
Copy more files over from Idris2
|
2020-05-20 11:23:04 +01:00 |
|
reference
|
Merge branch 'master' into add-warnings-to-rtd
|
2020-05-25 00:38:22 +01:00 |
|
tutorial
|
Mention make install
|
2020-05-25 21:32:33 -05:00 |
|
typedd
|
Merge branch 'master' into add-warnings-to-rtd
|
2020-05-25 00:38:22 +01:00 |
|
updates
|
Small documentation updates
|
2020-05-25 01:02:07 +01:00 |
|
conf.py
|
Fix latex rtd generation
|
2020-05-20 18:53:56 +01:00 |
|
index.rst
|
Copy more files over from Idris2
|
2020-05-20 11:23:04 +01:00 |
