JankaGramofonomanka / idris-compiler-tools

1 stars 0 forks source link

Tests #11

Open JankaGramofonomanka opened 2 months ago

JankaGramofonomanka commented 2 months ago

Add tests where needed

JankaGramofonomanka commented 2 months ago

This seems to require a lot of Eq, GEq, Show, and GShow (i made up this one) instances. It would be beneficial to figure out #7 before this.