index
:
yellowsquid/project-scheme.git
master
Solutions to problems inspired by project scheme.
Chloe Brown
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Data
/
List
/
Relation
/
Binary
Mode
Name
Size
-rw-r--r--
Prefix.agda
4967
log
plain
-rw-r--r--
Suffix.agda
2927
log
plain
