quox/tests/quox-tests.ipkg

13 lines
212 B
Text
Raw Normal View History

2022-05-04 11:09:49 -04:00
package quox-tests
depends = base, contrib, elab-util, sop, snocvect, quox-lib, tap
2022-05-04 11:09:49 -04:00
executable = quox-tests
main = Tests
2023-01-26 13:54:46 -05:00
modules =
TermImpls,
2023-02-11 12:15:50 -05:00
TypingImpls,
2023-01-26 13:54:46 -05:00
Tests.Reduce,
2023-02-11 12:15:50 -05:00
Tests.Equal,
Tests.Typechecker