|
| From: | Mark |
| Subject: | [Axiom-developer] Axiom on LtU |
| Date: | Mon, 07 Jun 2004 14:47:46 -0700 |
| User-agent: | Mozilla Thunderbird 0.6 (Windows/20040502) |
I posted this: http://lambda.weblogs.com/discuss/msgReader$12593 It might be fruitful for someone who knows about Axiom (I don't) to discuss its type system and in particular, dependent types. Or you could just post links to relevant portions of the docs. Mark
| [Prev in Thread] | Current Thread | [Next in Thread] |