Skip to content
◈ALB Atlas

Edwin Brady Alive

Edwin Brady
KindPerson
Born—
StatusAlive
Fieldprogramming languages
Sourcewww.idris-lang.org ↗

Created Idris — dependent types aimed at working programmers, not just proof assistants.

Created Whitespace Idris

Created Idris — the practical dependently-typed language — and co-created Whitespace as a joke.\n\nBoth projects: 'Type-Driven Development with Idris' is the book; the contrast is the charm.

Sources

  1. idris-lang.org/
  2. en.wikipedia.org/wiki/Edwin_Brady