Commit Graph

1 Commits

Author SHA1 Message Date
wchresta
7389893ebf idris2: add package tests
We had some bugs because simple compilation / execution cases
failed. This adds some very simple package tests that should
help us find these.
2021-12-23 18:25:24 +01:00