issues
search
HeinrichApfelmus
/
agda-notes
Various notes on Agda and agda2hs
Apache License 2.0
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use `_build` directory for interface files in `AGDA_DIR`
#1
HeinrichApfelmus
opened
8 months ago
1