icfp-2014-contracts-talk

Slideshow implementation of ICFP 2014 Contracts Keynote Talk

Build status: failed missing license metadata

README Code
Authors
Documentation
    Tags
    License
      Last updatedFriday, June 24th, 2022 4:00:01am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/rfindler/icfp-2014-contracts-talke1df17f23d7cd4fbb4fa78c15d6eb3f79c576ddf
      Last checkedWednesday, April 24th, 2024 8:03:52pm (UTC)
      Last editedFriday, September 5th, 2014 6:51:16pm (UTC)
      Date addedN/A
      Modules
      • icfp-2014-contracts-talk/heap.rkt
      • icfp-2014-contracts-talk/function-machine.rkt
      • icfp-2014-contracts-talk/faces.rkt
      • icfp-2014-contracts-talk/counts/contracts-vs-commits.rkt
      • icfp-2014-contracts-talk/dep.rkt
      • icfp-2014-contracts-talk/code-combine.rkt
      • icfp-2014-contracts-talk/boundaries-not-projections.rkt
      • icfp-2014-contracts-talk/title-lib.rkt
      • icfp-2014-contracts-talk/counts/time-vs-contracts.rkt
      • icfp-2014-contracts-talk/equations.rkt
      • icfp-2014-contracts-talk/random-generation.rkt
      • icfp-2014-contracts-talk/intro.rkt
      • icfp-2014-contracts-talk/util.rkt
      • icfp-2014-contracts-talk/title.rkt
      • icfp-2014-contracts-talk/render-bytes.rkt
      • icfp-2014-contracts-talk/color.rkt
      • icfp-2014-contracts-talk/takeaways.rkt
      • icfp-2014-contracts-talk/heap-slides.rkt
      • icfp-2014-contracts-talk/redex-model.rkt
      • icfp-2014-contracts-talk/talk.rkt
      • icfp-2014-contracts-talk/boundary.rkt
      • icfp-2014-contracts-talk/redex-typeset.rkt
      • icfp-2014-contracts-talk/main.rkt
      • icfp-2014-contracts-talk/model-lib.rkt