Mercurial > hg > Members > atton > delta_monad
directory /agda/ @ 64:15eec529dfc4
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 basic.agda
|
295 | -rw-r--r-- |
|
delta.agda
|
22051 | -rw-r--r-- |
|
list.agda
|
843 | -rw-r--r-- |
|
patterns.rb
|
5232 | -rw-r--r-- |