icfp-2014-contracts-talk

Slideshow implementation from 2014 ICFP keynote.

Install via the package manager:

raco pkg install icfp-2014-contracts-talk

and then run via racket

racket -l icfp-2014-contracts-talk

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
counts		counts
.gitignore		.gitignore
README.md		README.md
amal.jpg		amal.jpg
asumu.jpg		asumu.jpg
boundaries-not-projections.rkt		boundaries-not-projections.rkt
boundary.rkt		boundary.rkt
christos.jpg		christos.jpg
code-combine.rkt		code-combine.rkt
color.rkt		color.rkt
david.jpg		david.jpg
david.png		david.png
dep.rkt		dep.rkt
equations.rkt		equations.rkt
eric.jpg		eric.jpg
faces.rkt		faces.rkt
function-machine.rkt		function-machine.rkt
heap-slides.rkt		heap-slides.rkt
heap.rkt		heap.rkt
info.rkt		info.rkt
intro.rkt		intro.rkt
jesse.jpg		jesse.jpg
main.rkt		main.rkt
mgree.jpg		mgree.jpg
model-lib.rkt		model-lib.rkt
phil.jpg		phil.jpg
random-generation.rkt		random-generation.rkt
redex-model.rkt		redex-model.rkt
redex-typeset.rkt		redex-typeset.rkt
render-bytes.rkt		render-bytes.rkt
riccardo.jpg		riccardo.jpg
sam.jpg		sam.jpg
takeaways.rkt		takeaways.rkt
talk.rkt		talk.rkt
title-lib.rkt		title-lib.rkt
title.rkt		title.rkt
util.rkt		util.rkt
vincent.jpg		vincent.jpg

rfindler/icfp-2014-contracts-talk