Commits
- Commit:
d8b303c48fed1da9a61e67d289f5b283dcd8b13b
- From:
- James Cook <falsifian@falsifian.org>
- Date:
Add a description.
- Commit:
c0755cbe06aff65c774556816aa4ea6569314615
- From:
- James Cook <falsifian@falsifian.org>
- Date:
List idris2 packages this depends on.
- Commit:
a95f0ac66a2e664a9a10cf0344f1e845340dfcb5
- From:
- James Cook <falsifian@falsifian.org>
- Date:
Initial import.