ataca
ataca copied to clipboard
Published
20 hours ago •
jespercockx
jespercockx
A TACtic library for Agda
Results
1
ataca issues
Sort by
recently updated
recently updated
newest added
I got the demo file to work on my machine, so I thought I'd share the minor changes that got it working. Mainly, the built-in `extendContext` now takes a name...
