Code Review
Profile Activity
Meta user
Network profile
741
reputation
4
11

gallais

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

17
answers
0
questions
~7k
people reached
  • Glasgow, Scotland, UK
  • gallais.org
  • Member for 8 years, 4 months
  • 34 profile views
  • Last seen Aug 21 '20 at 15:00

Communities (22)

Top network posts

Top tags (23)

Score 38
Posts 14
Posts % 82
Score 9
Posts 3
Score 8
Posts 1
Score 8
Posts 1
Score 5
Posts 3
Score 4
Posts 1
View all tags →

Top posts (17)

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

Badges (15)

Gold

—

Silver

4

Rarest

Bronze

11

Rarest

View all badges →