Commit Briefs

c0755cbe06 James Cook

List idris2 packages this depends on.

diff | patch | tree

a95f0ac66a James Cook

Initial import.

diff | patch | tree