index
:
yellowsquid/agda-wasm.git
master
Agda implementation of WebAssembly
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
.gitignore
blob: a7f34d8a6ee88feb35d13d5e1c7141be7f6c1832 (
plain
)
1
2
3
4
# ---> Agda *.agdai MAlonzo/**
