Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
- Kobe, Japan
- https://kotolab.net
Pinned Loading
-
-
purescript-halogen-helix
purescript-halogen-helix PublicLightweight global state management for PureScript Halogen using halogen-hooks.
-
-
TaPL-in-PureScript
TaPL-in-PureScript PublicThe PureScript implementation for the *Types and Programming Language* by B. Pierce
PureScript 19
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.