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
2
Commits
1
Branch
0
Tags
305
KiB
Idris
100%
4a81280811
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
rhiannon morris
4a81280811
ignore "result"
2022-05-26 15:41:14 +02:00
TAP
first
2022-05-26 14:26:14 +02:00
.gitignore
ignore "result"
2022-05-26 15:41:14 +02:00
TAP.idr
first
2022-05-26 14:26:14 +02:00
acsl.txt
first
2022-05-26 14:26:14 +02:00
default.nix
first
2022-05-26 14:26:14 +02:00
flake.lock
first
2022-05-26 14:26:14 +02:00
flake.nix
first
2022-05-26 14:26:14 +02:00
tap.ipkg
first
2022-05-26 14:26:14 +02:00