Computer Science
Profile Activity
Network profile
666
reputation
6
3

Edwin Brady

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

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

Communities (6)

Top network posts

Top tags (4)

Score 55
Posts 1
Posts % 100
Score 55
Posts 1
Score 55
Posts 1
Score 55
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
55 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 →