[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] semantics of categories

From: Martin Rubey
Subject: Re: [Axiom-developer] semantics of categories
Date: Fri, 21 Jul 2006 15:41:38 +0200 (CEST)
User-agent: SquirrelMail/1.4.5

On Fr, 21.07.2006, 13:06, Ralf Hemmecke wrote:
> Last night I was referring to some problems with categories as first
> class values. I remember that I have read something about it.

Funny that they would say in the appendix

 Perhaps there is some mind-bending way that domains
 could be constructed as a resul to userinput, but I cannot think of
 one off the top of myhead.

since I guess that this is exactly what we were doing in our version of
combinat -- i.e., the parser I wrote, that takes a string and returns a
combinatorial class.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]