Thursday, July 15, 2010

New thoughts on 7/15

I just realize that the applicative structure is just not expressive enough to
describe the axioms. I need a more expressive signature.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)