Code Review
gallais
  • Member for 9 years, 2 months
  • Last seen more than 1 year ago
Profile Activity
Stats
741
reputation
8k
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
38
Score
14
Posts
82
Posts %
9
Score
3
Posts
18
Posts %
8
Score
1
Posts
6
Posts %
8
Score
1
Posts
6
Posts %
5
Score
3
Posts
18
Posts %
4
Score
1
Posts
6
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
Votes Newest
8
Coq proof that type isomorphism relationship is transitive
Jun 29 '17
5
Function to Map `[a] -> [[a]]`
Jun 26 '15
4
Using phantom types to represent amounts and exchange rates of currencies
Jul 29 '14
4
Bubble sort with counting swaps and comparsions
Dec 22 '17
4
My first Haskell: dice rolling
Dec 22 '15
3
Walking a directory in Haskell
Feb 15 '16
3
Haskell FizzBuzz with a type system
Jul 13 '14
3
Beta Reducer in Haskell
Mar 16 '14
3
Proving even-ness in Agda
Dec 11 '15
3
Compile .tex and remove .div file from Haskell
Dec 28 '14
Top network posts
View all network posts
24
How do I verify the Coq proof of Feit-Thompson?
20
How to switch the current goal in Coq?
17
Open Type Level Proofs in Haskell/Idris
16
Coq execution difference between semicolon ";" and period "."
14
Why does Coq have Prop?

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.