basic test framework for idris 2

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Branch: main

main

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'main'

${ noResults }

Compare

HTTPS

Download ZIP Download TAR.GZ Download BUNDLE Clone in VS Code

rhiannon morris c33bb4e96d add ToValue interface		1 week ago
TAP	add flag to skip printing notes	4 weeks ago
example	examples	10 months ago
.gitignore	ignore "result"	10 months ago
TAP.idr	add ToValue interface	1 week ago
acsl.txt	first	10 months ago
pack.toml	bump pack collection	1 week ago
tap.ipkg	uncomment sourceloc	10 months ago