From 647229a577dcdaa9d5215cacffced7fefa1d09be Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Sat, 9 Jan 2016 14:37:20 -0500 Subject: [PATCH] 'Fixed' some documentation issues caused #31 While the documentation renders correctly, only because imports are hidden in the sandbox. --- scribblings/curnel.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribblings/curnel.scrbl b/scribblings/curnel.scrbl index 5875b2b..10283a1 100644 --- a/scribblings/curnel.scrbl +++ b/scribblings/curnel.scrbl @@ -14,7 +14,7 @@ For a very understandable in-depth look at TT, see chapter 2 of "Practical Implementation of a Dependently Typed Functional Programming Language"], by Edwin C. Brady. -@(define curnel-eval (curnel-sandbox "")) +@(define curnel-eval (curnel-sandbox "(require cur/stdlib/nat cur/stdlib/bool cur/stdlib/prop)")) @defform*[((Type n) Type)]{