Code Review
Meta user
Network profile
686
reputation
4
11

gallais

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

17
answers
0
questions
~5k
people reached
  • Glasgow, Scotland
  • gallais.org
  • Member for 6 years, 10 months
  • 31 profile views
  • Last seen Jun 12 at 10:44

Communities (20)

Top network posts

Top tags (23)

Score 36
Posts 14
Posts % 82
Score 8
Posts 3
Score 6
Posts 1
Score 6
Posts 1
Score 4
Posts 3
Score 4
Posts 1
View all tags →

Top posts (17) All Questions Answers | Votes Newest

6 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
3 Compile .tex and remove .div file from Haskell Dec 28 '14
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 My first Haskell: dice rolling Dec 22 '15
3 Walking a directory in Haskell Feb 15 '16
View all questions and answers →

Badges (15)

Gold

—

Silver

4

Rarest

Bronze

11

Rarest

View all badges →