Joey Eremondi
@JoeyEremondi
About
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
pl-lt-rules
Rules for writing academic papers and checking them using LTex-ls and LanguageTool
elm-build-lib-old
HaskellHaskell library wrapper around the Elm executable, to build files from within Haskell
haskelm-old
HaskellHaskell to Elm translation using Template Haskell. Contains both a library and executable.
haskelm-demo
HaskellNo project description available.
elm-build-lib
HaskellA library for compiling Elm to JavaScript from within Haskell
elm-summer-opt
HaskellSummer work on optimizing the Elm compiler