Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
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, 9 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 →