rhiannon morris 8a55cc9581 unfold definitions in equality checking, plus cleanup		2022-08-23 05:43:23 +02:00
..
Tests	unfold definitions in equality checking, plus cleanup	2022-08-23 05:43:23 +02:00
TermImpls.idr	add impls of Eq/Show to Term/Elim in tests	2022-05-08 05:41:32 +02:00
Tests.idr	move TAP to its own package	2022-05-26 16:25:56 +02:00
quox-tests.ipkg	move TAP to its own package	2022-05-26 16:25:56 +02:00