Compare commits
No commits in common. "dev" and "main" have entirely different histories.
3
info.rkt
3
info.rkt
|
@ -6,8 +6,7 @@
|
||||||
"dotlambda"
|
"dotlambda"
|
||||||
"hyper-literate"
|
"hyper-literate"
|
||||||
"phc-toolkit"
|
"phc-toolkit"
|
||||||
"turnstile"
|
"turnstile"))
|
||||||
"macrotypes-example"))
|
|
||||||
(define build-deps '("scribble-lib"
|
(define build-deps '("scribble-lib"
|
||||||
"racket-doc"
|
"racket-doc"
|
||||||
"scribble-enhanced"))
|
"scribble-enhanced"))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user