idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 00:31:57 +03:00
Code Issues Projects Releases Wiki Activity
4d36b754c6
Idris2/docs/source/implementation
History
Jan de Muijnck-Hughes 4d36b754c6 initial dump of IDE protocol documentation from Idris1.
2021-02-25 10:18:47 +00:00
..
ide-protocol.rst initial dump of IDE protocol documentation from Idris1. 2021-02-25 10:18:47 +00:00
index.rst initial dump of IDE protocol documentation from Idris1. 2021-02-25 10:18:47 +00:00
overview.rst fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00