add type signature
make test pass
loosen up type signatures a little
failing test case
type the formula in for the totient function
do as hlint tells me
add type signature
go go composition
failing test case
goldbach
failing test
add type signature
failing test case
refactor
fails.
replace primes implementation with fake sievef
note down problems!