aarne fc517dc1fa FromCoreRgl.gf: a concrete syntax of Dictionary with all words that can be inherited from core RGL Structural and Lexicon. This should be the best source for those words that are there, since they have been carefully checked.

2015-11-11 08:59:44 +00:00

doc

added documentation of list constructors to abstract/ files to improve the absfun document

2015-10-19 13:21:33 +00:00

haskell

conversion of Int to Tree in haskell

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

src

FromCoreRgl.gf: a concrete syntax of Dictionary with all words that can be inherited from core RGL Structural and Lexicon. This should be the best source for those words that are there, since they have been carefully checked.

2015-11-11 08:59:44 +00:00

tests

Tweak for HTF-0.13, fix runTest name clash.

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

S

Description

No description provided

BSD-3-Clause

217 MiB

0 Stars 1 Watchers 0 Forks

Languages

Grammatical Framework 99.9%