Commit Briefs

c7146ad4de James Cook

Add a link to a blog post about this project. (main, origin/main)

diff | patch | tree

d8b303c48f James Cook

Add a description.

diff | patch | tree

c0755cbe06 James Cook

List idris2 packages this depends on.

diff | patch | tree

a95f0ac66a James Cook

Initial import.

diff | patch | tree