Code Review
gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 10 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
751
reputation
9k
reached
17
answers
0
questions
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
24
How do I verify the Coq proof of Feit-Thompson?
19
Why should you "never resort to polymorphism when initiality would do"?
17
Open Type Level Proofs in Haskell/Idris
17
How to switch the current goal in Coq?
16
Coq execution difference between semicolon ";" and period "."

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.