I'm a functional programmer / researcher currently working on program synthesis, compiler plugins and the GHC compiler. I've also worked on numerous backends in Python and Haskell, with some frontend JS and TypeScript experience as well. Feel free to get in touch on Twitter (@tritlo) if you want to collaborate!
uncertified haskell engineer
-
DPella AB
- Gothenburg, Sweden
-
01:25
(UTC +01:00) - https://mpg.is
- https://orcid.org/0000-0001-6693-8454
- @Tritlo
- @matti@loðfíll.is
- @tritlo@types.pl
Highlights
- Pro
Pinned Loading
-
writ-plugin
writ-plugin PublicA type-checker plugin for weak runtime-irrelevant typing in Haskell
Haskell 7
-
-
-
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.