-
Inrule
- Gothenburg, Sweden
- https://emilaxelsson.github.io
Popular repositories Loading
-
imperative-edsl
imperative-edsl PublicDeep embedding of imperative programs with code generation
-
ho-rewriting
ho-rewriting PublicA generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
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.