edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-30 22:05:32 +03:00
Code Issues Projects Releases Wiki Activity
709 Commits 2 Branches 1 Tag 4.2 MiB
620d33e343
Commit Graph

5 Commits

Author SHA1 Message Date
Milan Kral
eb7be5eba1 Use HTTPS instead of HTTP 2019-12-18 21:37:50 +01:00
Edwin Brady
718f5963ce
Merge pull request #70 from jfdm/expand-ipkg-contents 
Align the IPKG format more with the previous Idris implementation.
 2019-08-29 10:51:41 +01:00
Jan de Muijnck-Hughes
bc4bfb3991 Add documentation for Idris Packages. 
This is an initial copy and refinement of the existing documentation for packaging.
This commit also starts the Idris2 reference documentation, in which we can start documenting the language proper. Maybe we should include the contents of `Notes` here, but that is a question for later.
 2019-08-01 09:43:08 +01:00
Jan de Muijnck-Hughes
79729935ea Improve RTD config. 
+ Sphinx can read CommonMark formatted files, so let us allow that capability.
+ Improve .gitignore to ignore sphinx build directories.
 2019-07-31 14:07:16 +01:00
Edwin Brady
e0757be43c Add template for readthedocs 2019-07-21 14:45:12 +01:00