diff options
| author | Camil Staps | 2018-01-04 11:17:25 +0100 |
|---|---|---|
| committer | Camil Staps | 2018-01-04 11:17:25 +0100 |
| commit | 8cc94ac05805c529bfeae84f6cf49109a72150a5 (patch) | |
| tree | b3eba9e6ff0c1c2aa0f01be1e2463920e414f5e8 /.gitignore | |
| parent | Remove part about unification search; small updates (diff) | |
Cocl -> Pretty printer in new architecture; note about using hoogle instead
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions