rhiannon morris 7f72ed56fb add test for regularity		2024-04-15 22:58:28 +02:00
..
tests	add test for regularity	2024-04-15 22:58:28 +02:00
Tests.idr	add golden test stuff	2024-04-14 20:49:10 +02:00
quox-golden-tests.ipkg	add golden test stuff	2024-04-14 20:49:10 +02:00
run-tests.sh	add golden test stuff	2024-04-14 20:49:10 +02:00