Commit Briefs

James Cook

Add .gitignore

diff | patch | tree

James Cook

List idris2 packages this depends on.

diff | patch | tree

James Cook

Initial import.

diff | patch | tree