Code Review
gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 11 years, 2 months
  • Last seen more than 1 year ago
Profile Activity
Stats
751
reputation
10k
reached
17
answers
0
questions
top 13% overall
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
11
bronze badges
Top tags
View all tags
39
Score
14
Posts
82
Posts %
10
Score
3
Posts
18
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
5
Score
3
Posts
18
Posts %
5
Score
1
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
8
Coq proof that type isomorphism relationship is transitive
Jun 29, 2017
answer
5
Function to Map `[a] -> [[a]]`
Jun 26, 2015
answer
5
My first Haskell: dice rolling
Dec 22, 2015
answer
4
Using phantom types to represent amounts and exchange rates of currencies
Jul 29, 2014
answer
4
Bubble sort with counting swaps and comparsions
Dec 22, 2017
answer
3
Beta Reducer in Haskell
Mar 16, 2014
answer
3
Haskell FizzBuzz with a type system
Jul 13, 2014
answer
3
Compile .tex and remove .div file from Haskell
Dec 28, 2014
answer
3
Proving even-ness in Agda
Dec 11, 2015
answer
3
Walking a directory in Haskell
Feb 15, 2016
Top network posts
View all network posts
25
How do I verify the Coq proof of Feit-Thompson?
21
Why should you "never resort to polymorphism when initiality would do"?
18
Open Type Level Proofs in Haskell/Idris
18
Coq execution difference between semicolon ";" and period "."
17
How to switch the current goal in Coq?

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.