diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-01 09:57:00 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-01 09:57:00 +0200 |
| commit | d5a7945ba0b082a3be8a7cd4b9142e553dbfec9b (patch) | |
| tree | bb3387c734a154856888f0a7712e11e2a3662aea /doc | |
| parent | 1a27ddfabbbf7b8ef7449ad0bdd14baf8d76c341 (diff) | |
complete details for the "ai" command in the C shell
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/runtime-api.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 </pre> <pre class="haskell"> Prelude PGF2> print (functionType gr "DetCN") -Det -> CN -> NP +Just (Det -> CN -> NP) </pre> <pre class="java"> System.out.println(gr.getFunctionType("DetCN")); |