gallais's user avatar
gallais's user avatar
gallais's user avatar
gallais
  • Member for 11 years, 7 months
  • Last seen more than a week ago
8 votes
Accepted

Coq proof that type isomorphism relationship is transitive

5 votes
Accepted

My first Haskell: dice rolling

5 votes

Function to Map `[a] -> [[a]]`

4 votes

Using phantom types to represent amounts and exchange rates of currencies

4 votes

Bubble sort with counting swaps and comparsions

3 votes

Haskell FizzBuzz with a type system

3 votes
Accepted

Walking a directory in Haskell

3 votes

Beta Reducer in Haskell

3 votes
Accepted

Proving even-ness in Agda

3 votes
Accepted

Compile .tex and remove .div file from Haskell

2 votes

Implementing `sequenceA`

2 votes

Haskell#concat Implementation

2 votes
Accepted

Squashing multiplication identity in an expression

2 votes
Accepted

Find zeroes in a matrix

1 vote
Accepted

`read` re-implemented for Int's

1 vote
Accepted

Monadic transformation on a list, done in three ways

1 vote

Simple DFA using the State Monad