Gotweb

Commits

Commit:: c7146ad4de2704f6937aae941104afa04126e5ae
From:: James Cook <falsifian@falsifian.org>
Date:: Tue Jan 18 04:37:02 2022 UTC

Add a link to a blog post about this project.

diff | patch | tree

Commit:: d8b303c48fed1da9a61e67d289f5b283dcd8b13b
From:: James Cook <falsifian@falsifian.org>
Date:: Mon Jan 17 20:40:00 2022 UTC

Add a description.

diff | patch | tree

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