aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
2017-10-28More logical structureCamil Staps1-24/+24
2017-10-28Add instances to numbers slideCamil Staps1-3/+4
2017-10-27Minor improvementsCamil Staps2-17/+35
2017-10-27First rough version of full presentationCamil Staps7-119/+417
2017-10-25Introduction, history, architectureCamil Staps3-0/+231