aarne 89ae86b0e3 added Pes to the list of langs in make Symbolic

2012-03-06 07:20:31 +00:00

doc

resource status updated

2012-02-24 10:04:12 +00:00

haskell

conversion of Int to Tree in haskell

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

src

added Pes to the list of langs in make Symbolic

2012-03-06 07:20:31 +00:00

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%