Gotweb

Commits

Commit:: 3629a6632c3cb654683a2a8e9572c664806fee3d
From:: James Cook <falsifian@falsifian.org>
Date:: Mon Jan 17 20:50:27 2022 UTC

Add licence.

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:: 31e4b3d01726455972ad5be549730ef747e60c93
From:: James Cook <falsifian@falsifian.org>
Date:: Mon Jan 17 20:33:49 2022 UTC

Add .gitignore

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