Jump to content

Talk:Twelf

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

I/O

[edit]

Tom wrote:

it has no extralogical operators (such as ones for performing I/O)

and commented:

This might not really be fair, since Twelf does have constraint domains, which I suppose could be used to implement I/O.

I changed the phrasing so that we say that the core does not contain extralogical operators, which I think is fine. --- Charles Stewart 20:31, 16 Jun 2005 (UTC)