Frederik Hanghøj Iversen

Expert

@fredefox

Languages, functional programming, type theory and logic.

git.data.coop/fredefox/

cat. A formalization of category theory in cubical Agda

spirograph. Haskell

ghc. Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

gitm. Haskell

javalette. Haskell

mac. Forked from https://bitbucket.org/russo/mac-demo

views searches