Functional Programming Enthusiast.
I'm interested in:
- Functional Programming
- Logico-mathematical structures of programming
- Formal Verification
- Kobe, Japan
Pinned Loading
-
purescript-halogen-router
purescript-halogen-router PublicRouting management for Halogen
-
-
purescript-halogen-helix
purescript-halogen-helix PublicLightweight global state management for PureScript Halogen using halogen-hooks.
-
purescript-record-optional-fields
purescript-record-optional-fields PublicOptional field manipulation for PureScript Record tyope
PureScript
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.