Move agda2hs.agda-lib into lib directory and rename to base.agda-lib
#775
| Job | Run time |
|---|---|
| 3m 14s | |
| 1m 47s | |
| 2m 57s | |
| 2m 44s | |
| 10m 42s |
agda2hs.agda-lib into lib directory and rename to base.agda-lib
#775
| Job | Run time |
|---|---|
| 3m 14s | |
| 1m 47s | |
| 2m 57s | |
| 2m 44s | |
| 10m 42s |