Name: Johan Glimming
Type: User
Company: Functor Group AB and Stockholm University / KTH
Bio: CEO @ FUNCTOR GROUP, Sweden, provider of software development tools based on type theory and logic, alumni research fellow @ Cambridge, MSc Math Oxford, PhD
Twitter: glimming
Location: Stockholm, Sweden
Blog: www.glimming.org
Johan Glimming's Projects
A new Categories library for Agda
The Agda standard library
Agda interaction in vim
Basics of the dependently-typed functional language Agda ^_^
An experimental library for Cubical Agda
Docker image with stackage config
emacs modules + config files
An Emacs configuration bundle with batteries included
generic colouriser
TOML file format parser in Haskell
Idris mode for vim
Generate nix expressions from stack files
SDL bindings package for idris
Internet-less Stack build
Server for stable, curated Haskell package sets
Generate Nix build instructions from a Stack file