Computer Science
Edwin Brady
Profile Activity
Stats
676
reputation
7k
reached
1
answers
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
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
56
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Votes Newest
56
What can Idris not do by giving up Turing completeness?
Apr 18 '14
Top network posts
View all network posts
203
Differences between Agda and Idris
43
Idris eager evaluation
22
Doing rank-n quantification in Idris
18
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.