From d5a7945ba0b082a3be8a7cd4b9142e553dbfec9b Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Fri, 1 Sep 2017 09:57:00 +0200 Subject: complete details for the "ai" command in the C shell --- doc/runtime-api.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/runtime-api.html b/doc/runtime-api.html index b5ff682c7..966f5f15c 100644 --- a/doc/runtime-api.html +++ b/doc/runtime-api.html @@ -894,7 +894,7 @@ Det -> CN -> NP
 Prelude PGF2> print (functionType gr "DetCN")
-Det -> CN -> NP
+Just (Det -> CN -> NP)
 
 System.out.println(gr.getFunctionType("DetCN"));
-- 
cgit v1.2.3