Edwin Brady

E1314170 UNEXPLORED

Edwin Brady is a computer scientist and functional programmer best known for designing and developing the dependently typed programming language Idris.

All labels observed (1)

Label Occurrences
Edwin Brady canonical 2

How this entity was disambiguated

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Idris creator Edwin Brady
Idris developer Edwin Brady