https://github.com/gallais/agda-sizedio
IO using sized types and copatterns
https://github.com/gallais/agda-sizedio
agda bindings coinductive-types directory-tree experimental filepath input-output sized-types
Last synced: 5 months ago
JSON representation
IO using sized types and copatterns
- Host: GitHub
- URL: https://github.com/gallais/agda-sizedio
- Owner: gallais
- License: gpl-3.0
- Created: 2017-08-04T07:23:05.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2021-04-14T15:10:23.000Z (about 5 years ago)
- Last Synced: 2025-02-01T08:14:58.664Z (over 1 year ago)
- Topics: agda, bindings, coinductive-types, directory-tree, experimental, filepath, input-output, sized-types
- Language: Agda
- Homepage: https://gallais.github.io/agda-sizedIO/README.html
- Size: 4.56 MB
- Stars: 33
- Watchers: 3
- Forks: 1
- Open Issues: 1