aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterReadmeCamil Staps7 years
 
 
AgeCommit messageAuthorFilesLines
2018-01-05ReadmeHEADmasterCamil Staps1-0/+8
2018-01-04Cocl -> Pretty printer in new architecture; note about using hoogle insteadCamil Staps2-9/+26
2018-01-01Remove part about unification search; small updatesCamil Staps1-61/+20
2017-11-27Minor fixesCamil Staps2-7/+6
2017-11-27Add editor integration slideCamil Staps2-0/+18
2017-10-28I did not write all of vim-cleanCamil Staps1-1/+1
2017-10-28Add conclusionsCamil Staps1-4/+32
2017-10-28Add logo on title slideCamil Staps2-1/+1
2017-10-28Add slide with type tree detailCamil Staps2-0/+12
2017-10-28Change take to tak in name search exampleCamil Staps1-0/+0
[...]
 
Clone
git@git.camilstaps.nl:academia/2018-NLFP-Cloogle
https://git.camilstaps.nl/academia/2018-NLFP-Cloogle