A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Computer Science
Network profile
616
reputation
6
3

Edwin Brady

Computer Science researcher, Haskell programmer, language designer, Idris implementer

1
answer
0
questions
~6k
people reached
  • Scotland
  • edwinb.wordpress.com
  • Member for 5 years, 9 months
  • 118 profile views
  • Last seen May 17 '19 at 22:37

Communities (6)

Top network posts

Top tags (4)

Score 50
Posts 1
Posts % 100
Score 50
Posts 1
Score 50
Posts 1
Score 50
Posts 1

Top posts (1) All Questions Answers | Votes Newest

50 What can Idris not do by giving up Turing completeness? Apr 18 '14

Badges (9)

Gold

—

Silver

6

Rarest

Bronze

3

Rarest

View all badges →