This website requires JavaScript.
Explore
Help
Sign In
rhi
/
idris2-tap
Watch
1
Star
0
Fork
You've already forked idris2-tap
0
Code
Issues
1
Pull Requests
Projects
Releases
Wiki
Activity
basic test framework for idris 2
24
Commits
1
Branch
0
Tags
305
KiB
Idris
100%
main
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
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