Geeks
jespercockx
/
ataca
A TACtic library for Agda
Primary Language
Agda
ataca GitHub
Markdown
Readme
1
Issue
48
Stargazers
10
Watchers
Issues
Closed issue
Agda version that compiles this
#1 opened
6 years ago
by
ajrouvoet
1