basic test framework for idris 2

rhiannon morris e33b32a887 todos should be `not ok`		2023-09-23 17:39:15 +02:00
TAP	allow multiple (and-ed) filters	2023-09-17 16:59:24 +02:00
example	examples	2022-05-27 13:31:11 +02:00
.gitignore	ignore "result"	2022-05-26 15:41:14 +02:00
TAP.idr	todos should be `not ok`	2023-09-23 17:39:15 +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