summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterUse an interface for dispatching.Kjetil Orbekk4 years
 
 
AgeCommit messageAuthor
2017-02-16Use an interface for dispatching.HEADmasterKjetil Orbekk
2017-02-15Remove unnecessary partial annotation.Kjetil Orbekk
2017-02-15Add dispatch stuff.Kjetil Orbekk
2017-02-15Add gitignore.Kjetil Orbekk
2017-02-15Update split stuff.Kjetil Orbekk
2017-02-14Add list proof.Kjetil Orbekk
2017-02-14splitAt = take, drop proofKjetil Orbekk
2017-02-14Add Ch10 exercise.Kjetil Orbekk
2017-02-13Exercises from Idris book.Kjetil Orbekk
2017-02-11Initial commit.Kjetil Orbekk