ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 22:47:12 +03:00
Code Issues Projects Releases Wiki Activity
6411f5d2f2
Idris-dev/docs/guides
History
Michael Gilliland 696f336096 Replace "metavariable" with "hole"
2015-06-30 20:37:17 -04:00
..
index.rst Update 2015-05-30 13:23:26 +01:00
theorem-prover.rst Replace "metavariable" with "hole" 2015-06-30 20:37:17 -04:00
type-providers-ffi.rst Heading normalisation, and reST usage fixes. 2015-03-31 09:47:59 +01:00