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 updatedSaturday, July 13th, 2024 2:10:44pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/rfindler/icfp-2014-contracts-talk6e6c114260731f390e38068d62790ca5a87f725b
      Last checkedMonday, October 27th, 2025 10:41:48pm (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