Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Edwin Brady
Edwin Brady
Using Haskell since 1996
Reveal email address
http://edwinb.wordpress.com
Living in St Andrews, Scotland
Twitter
edwinbrady
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
DSL Design
Formal Verification
Monadic Parser Combinators
Programming language translation
Teaching Haskell
Packages
atuin
epic
idris
ivor
Check package dependency status.
Login with
Login using
— OR —