[icfp] commented note on code

2016-03-16 08:35:39 -04:00 · 2016-03-16 08:35:39 -04:00 · d8ce72111f
commit d8ce72111f
parent bc4753c502
1 changed files with 6 additions and 0 deletions
--- 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