Fixed heading issue in docs.
commite7b4da515e44cbbfe0a519ed571deb1a90f51515
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateMon 12 Sep 2016, 09:31 (10 years ago)
parentf852094
docs/reference/internals.rst+4
@@ -1,3 +1,7 @@
1+*****************
2+Idris' Internals
3+*****************
4+
15Note: this is still a fairly raw set of notes taken by David
26Christiansen at Edwin's presentation at the 2013 Idris Developers
37Meeting. They're in the process of turning into a useful guide - feel