aboutsummaryrefslogtreecommitdiff
path: root/cloogle.tex
AgeCommit message (Collapse)AuthorFilesLines
2018-01-04Cocl -> Pretty printer in new architecture; note about using hoogle insteadCamil Staps1-1/+9
2018-01-01Remove part about unification search; small updatesCamil Staps1-61/+20
2017-11-27Minor fixesCamil Staps1-7/+5
2017-11-27Add editor integration slideCamil Staps1-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 Staps1-1/+1
2017-10-28Add slide with type tree detailCamil Staps1-0/+12
2017-10-28More logical structureCamil Staps1-24/+24
2017-10-28Add instances to numbers slideCamil Staps1-3/+4
2017-10-27Minor improvementsCamil Staps1-17/+33
2017-10-27First rough version of full presentationCamil Staps1-114/+298
2017-10-25Introduction, history, architectureCamil Staps1-0/+161