basic test framework for idris 2

rhiannon morris 2f1044f6ef bump pack db		2023-09-17 16:57:24 +02:00
TAP	add flag to skip printing notes	2023-03-03 21:07:47 +01:00
example	examples	2022-05-27 13:31:11 +02:00
.gitignore	ignore "result"	2022-05-26 15:41:14 +02:00
TAP.idr	print totals at the end	2023-07-17 20:03:13 +02:00
acsl.txt	first	2022-05-26 14:26:14 +02:00
pack.toml	bump pack db	2023-09-17 16:57:24 +02:00
tap.ipkg	uncomment sourceloc	2022-05-26 15:44:31 +02:00