Computer Science
Edwin Brady's user avatar
Edwin Brady's user avatar
Edwin Brady's user avatar
Edwin Brady
  • Member for 9 years, 7 months
  • Last seen more than 1 year ago
Profile Activity
Stats
696
reputation
8k
reached
1
answer
0
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
3
bronze badges
Top tags
58
Score
1
Posts
100
Posts %
58
Score
1
Posts
100
Posts %
58
Score
1
Posts
100
Posts %
58
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
58
What can Idris not do by giving up Turing completeness?
Apr 18, 2014
Top network posts
View all network posts
211
Differences between Agda and Idris
43
Idris eager evaluation
23
Doing rank-n quantification in Idris
19
Is Idris really "strictly evaluated?"
16
Idris vectors vs linked lists

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.