Commit Briefs

31e4b3d017 James Cook

Add .gitignore

diff | patch | tree

c0755cbe06 James Cook

List idris2 packages this depends on.

diff | patch | tree

a95f0ac66a James Cook

Initial import.

diff | patch | tree