Gotweb

Commits

Commit:: c0755cbe06aff65c774556816aa4ea6569314615
From:: James Cook <falsifian@falsifian.org>
Date:: Mon Jan 17 20:22:25 2022 UTC

List idris2 packages this depends on.

diff | patch | tree

Commit:: a95f0ac66a2e664a9a10cf0344f1e845340dfcb5
From:: James Cook <falsifian@falsifian.org>
Date:: Mon Jan 17 20:21:37 2022 UTC

Initial import.

diff | patch | tree