icfp-2014-contracts-talk

Slideshow implementation of ICFP 2014 Contracts Keynote Talk

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedWednesday, July 29th, 2015 9:33:29pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/rfindler/icfp-2014-contracts-talke1df17f23d7cd4fbb4fa78c15d6eb3f79c576ddf
Last checkedSunday, June 25th, 2017 4:10:32pm (UTC)
Last editedFriday, September 5th, 2014 6:51:16pm (UTC)
Modules
  • icfp-2014-contracts-talk/heap-slides.rkt
  • icfp-2014-contracts-talk/boundaries-not-projections.rkt
  • icfp-2014-contracts-talk/boundary.rkt
  • icfp-2014-contracts-talk/faces.rkt
  • icfp-2014-contracts-talk/title.rkt
  • icfp-2014-contracts-talk/intro.rkt
  • icfp-2014-contracts-talk/function-machine.rkt
  • icfp-2014-contracts-talk/talk.rkt
  • icfp-2014-contracts-talk/random-generation.rkt
  • icfp-2014-contracts-talk/util.rkt
  • icfp-2014-contracts-talk/redex-typeset.rkt
  • icfp-2014-contracts-talk/code-combine.rkt
  • icfp-2014-contracts-talk/render-bytes.rkt
  • icfp-2014-contracts-talk/dep.rkt
  • icfp-2014-contracts-talk/counts/time-vs-contracts.rkt
  • icfp-2014-contracts-talk/main.rkt
  • icfp-2014-contracts-talk/equations.rkt
  • icfp-2014-contracts-talk/counts/contracts-vs-commits.rkt
  • icfp-2014-contracts-talk/title-lib.rkt
  • icfp-2014-contracts-talk/model-lib.rkt
  • icfp-2014-contracts-talk/redex-model.rkt
  • icfp-2014-contracts-talk/color.rkt
  • icfp-2014-contracts-talk/heap.rkt
  • icfp-2014-contracts-talk/takeaways.rkt