People who code: we want your input. Take the Survey
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 7 years, 2 months
  • 147 profile views
  • Last seen May 11 at 20:18

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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.