IO using sized types and copatterns
- Updated
- Agda
#
sized-types
Here are 5 public repositories matching this topic...
LaTeX source for Sized Dependent Types via Extensional Type Theory
- Updated
- TeX
An (very likely incorrect!) implementation of Sized Monads.
- Updated
- Haskell
Size bounded buffer as a secure data structure in C++
- Updated
- C++
Crystal mappings to the `size_t` and `usize_t` types.
- Updated
- Crystal
Improve this page
Add a description, image, and links to the sized-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sized-types topic, visit your repo's landing page and select "manage topics."