kr.angelov 2874ebeaa5 added date_3_N for the sense of "meeting". also added comments for the meanings of a few sense disambiguated words in the abstract syntax. The format of the comments follows the Haddock convention

2013-11-14 20:15:02 +00:00

doc

Est paradigm documentation in Synopsis

2013-10-22 13:14:20 +00:00

haskell

conversion of Int to Tree in haskell

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

src

added date_3_N for the sense of "meeting". also added comments for the meanings of a few sense disambiguated words in the abstract syntax. The format of the comments follows the Haddock convention

2013-11-14 20:15:02 +00:00

S

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%