diff --git a/icfp-2016/paper.scrbl b/icfp-2016/paper.scrbl index 6df0115..96522fa 100644 --- a/icfp-2016/paper.scrbl +++ b/icfp-2016/paper.scrbl @@ -38,6 +38,12 @@ @include-section{implementation.scrbl} @include-section{conclusion.scrbl} +@; @section{Code} +@; +@; Our implementation is available as a Racket package. +@; To install the library, download Racket and then run @racket[raco pkg install ???]. +@; The source code is on Github at: @url["https://github.com/???/???"]. + @section[#:style 'unnumbered]{Acknowledgments} To appear