git.iko.soy/Idris-dev
on master help sign in
Fixed heading issue in docs.
e7b4da5Jan de Muijnck-Hughes
docs/reference/internals.rst+4
compare with master
unifiedsplit
@@ -1,3 +1,7 @@
1+*****************
2+Idris' Internals
3+*****************
4+
1Note: this is still a fairly raw set of notes taken by David
5Note: this is still a fairly raw set of notes taken by David
2Christiansen at Edwin's presentation at the 2013 Idris Developers
6Christiansen at Edwin's presentation at the 2013 Idris Developers
3Meeting. They're in the process of turning into a useful guide - feel
7Meeting. They're in the process of turning into a useful guide - feel