Initial commit
add exercises on extensible effects
add a code snippet from Gabriel Gonzalez
https://groups.google.com/forum/#!topic/haskell-pipes/BTQsITNwflc
rename some functions
add .gitignore
add some effect notes
factor out handler dispatching
some more effect notes
add some ListT calculation
remove unnecessary codes in Calculate.tex
An idris exercise: typed printf
Playing with old effects in Idris
add more calculations
finish `effect` basic approach (without automatic proof search)
add strange Idris error message
add random files
Create Idris exercise foldr
add function unification test
TypeSel.hs, exporing type-level indices/lists
add named ticks