scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

utils.scrbl: Include the whole Typed Racket for the examples.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-02-03 16:00:20 +01:00
parent 403401f085
commit 4703bfcce8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scribblings/utils.scrbl
View file

@ -25,7 +25,7 @@ has reached a fixed point.
(parameterize ([sandbox-output 'string]
[sandbox-error-output 'string]
[sandbox-memory-limit 50])
(make-evaluator 'typed/racket/base #:requires '((submod "utils.rkt" typed)))))
(make-evaluator 'typed/racket #:requires '((submod "utils.rkt" typed)))))
@section{Base types}