package info
(click to toggle)
Folder: appending
 |
.. (parent) | |||
 |
- | rw-r--r-- | 384 | Main.agda |
|
- | rw-r--r-- | 1,771 | TakeWhile.agda |
|
- | rw-r--r-- | 36 | appending.agda-lib |
|
- | rw-r--r-- | 25 | expected |
|
- | rw-r--r-- | 36 | input |
|
- | rw-r--r-- | 142 | run |