Copenhagen, Denmark

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

59

spirograph. Haskell

1

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.

1

gitm. Haskell

1

javalette. Haskell

1

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

1
6
Apply