3 commits

Author	SHA1	Message	Date
rhiannon morris	7f415328a2	wip nix	2022-05-04 17:09:49 +02:00
rhiannon morris	e13cd50175	pokes in TAP	2022-05-04 00:49:18 +02:00
rhiannon morris	9ae0e36a65	time for sirdi	2022-05-02 20:51:19 +02:00

Renamed from tests/TAP.idr (Browse further)