aarne 44986e0dc3 revised comments in Construction so that some functions can be shown in absfun doc

2015-10-15 15:01:38 +00:00

doc

improved absfuns.html generation, added links, improved comments in source files to give better documentation

2015-10-14 09:05:37 +00:00

haskell

conversion of Int to Tree in haskell

2009-12-07 15:00:52 +00:00

src

revised comments in Construction so that some functions can be shown in absfun doc

2015-10-15 15:01:38 +00:00

tests

Tweak for HTF-0.13, fix runTest name clash.

2015-10-03 12:47:38 +00:00

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%