-
The University of Iowa
- Iowa City, IA
- http://jgbm.github.io
- https://orcid.org/0000-0002-3992-1080
- @garrettm@mathstodon.xyz
Highlights
- Pro
Pinned Loading
-
-
-
IowaFP/Rosi
IowaFP/Rosi PublicRosi: a row-typed functional programming language, based on the Rose family of calculi
Haskell 16
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.