| .. |
|
codegen.rst
|
Change lines of code of JavaScript to 60 for Hello World example in docs
|
2020-01-27 18:58:10 +01:00 |
|
compilation.rst
|
Some corrections in the docs/reference were done.
|
2019-11-23 21:33:00 +03:00 |
|
documenting.rst
|
Provide an example of idris example
|
2016-12-21 14:24:29 +01:00 |
|
erasure.rst
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
|
ffi.rst
|
Some corrections in the docs/reference were done.
|
2019-11-23 21:33:00 +03:00 |
|
ide-protocol.rst
|
Fix typos in docs
|
2017-12-21 01:31:07 +01:00 |
|
index.rst
|
Merge pull request #4797 from MilanKral/https
|
2019-12-21 13:41:18 +01:00 |
|
internals.rst
|
Some corrections in the docs/reference were done.
|
2019-11-23 21:33:00 +03:00 |
|
language-extensions.rst
|
Merge pull request #4797 from MilanKral/https
|
2019-12-21 13:41:18 +01:00 |
|
language-features.rst
|
Changed the '[static]' annotation to '%static', for uniformity with the rest of the language.
|
2016-01-23 20:29:01 +01:00 |
|
misc.rst
|
Align steps in preorder reasoning example
|
2020-03-06 16:07:00 -06:00 |
|
packages.rst
|
correct example package name
|
2019-06-02 00:04:48 -04:00 |
|
partial-evaluation.rst
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
|
repl.rst
|
Use interface instead class or type class in documentations (#3379)
|
2016-09-02 15:18:25 +02:00 |
|
semantic-highlighting.rst
|
Fix typos in semantic highlighting docs
|
2015-06-03 00:09:41 +02:00 |
|
syntax-guide.rst
|
oops undo fie changed in error
|
2019-12-20 19:11:05 +00:00 |
|
syntax-reference.rst
|
Initial transfer of {AS} grammar to Sphinx Documtation.
|
2019-04-18 10:24:19 +01:00 |
|
tactics.rst
|
Remove old eliminator generation and induction tactic (#4351)
|
2018-02-25 20:26:29 +01:00 |
|
type-directed-search.rst
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
|
uniqueness-types.rst
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
