Result 3

Result 3

The answerer is Mr./Mrs./Ms.

Mc Gaughey.

He/She accessed

micro-Quixote .

>>> As you have copied one of the Quixote systems, or all of them by FTP,
>>
>>I may well have done so - but, right now, I have no memory of what Quixote
>>is or does.  Could you enlighten me as to the FTP site please?
> 
> The URL of Quixote's HomePage is:
> 	http://www.icot.or.jp/AITEC/COLUMN/quixote/HomePage-E.html


I do research into type theory - especially functional/logic
type systems.  I must have heard of Quixote somewhere (maybe
in the logic programming newsgroup or on the types mailing
list) and grabbed it for a quick look.  It's not what I'm
interested in, though, so I didn't keep it.

Result 3

I do research into type theory - especially functional/logic type systems. I must have heard of Quixote somewhere (maybe in the logic programming newsgroup or on the types mailing list) and grabbed it for a quick look. It's not what I'm interested in, though, so I didn't keep it.