index
:
yellowsquid/bidir.git
less-fin
[no description]
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bidir.agda-lib
blob: 04c7483b39be2e2b03e36fe3e582d9f05c5ecb48 (
plain
)
1
2
3
name: bidir depend: standard-library include: src
