Code Review
Meta user
Network profile
706
reputation
4
11

gallais

Apparently, this user prefers to keep an air of mystery about them.

17
answers
0
questions
~6k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 7 years, 4 months
  • 32 profile views
  • Last seen yesterday

Communities (20)

Top network posts

Top tags (23)

Score 37
Posts 14
Posts % 82
Score 9
Posts 3
Score 7
Posts 1
Score 7
Posts 1
Score 4
Posts 3
Score 4
Posts 1
View all tags →

Top posts (17) All Questions Answers | Votes Newest

7 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
View all questions and answers →

Badges (15)

Gold

—

Silver

4

Rarest

Bronze

11

Rarest

View all badges →