1
1
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-18 18:31:43 +03:00
Commit Graph

6 Commits

Author SHA1 Message Date
Jan de Muijnck-Hughes
89b68d7771 Added documentation on literate modes to the reference document. 2020-04-21 19:27:46 +01:00
Jeetu
5175743e78 Removed docs directory for adding new docs. 2020-04-13 17:41:59 +05:30
Edwin Brady
e027e0c434 --build and --clean now looks at executable field
Executables now get built and deleted. Install doesn't do anything with
the executable, and --clean only deletes the executable itself (not any
support files or libraries that might also have been generated in the
exec directory)
2020-03-31 22:33:58 +01:00
Edwin Brady
1dd81ff10b Look under . for function name on lhs
Need this to rule out some ambiguous names. Fixes .
2020-03-05 11:22:48 +00:00
Milan Kral
eb7be5eba1 Use HTTPS instead of HTTP 2019-12-18 21:37:50 +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