Sat Jul 23 19:14:32 CEST 2011
Symantics => Num, or the other way around?
So I wonder maybe it's simpler to work the other way around? Make
(Symantics repr) depend on (Num (repr Tint), Num (repr Tfloat))
This could be a mistake though. The point is not to implement Num,
the point is to have a good description of the syntax. It might be
necessary to use just Symantics but not Num.
I.e. we want to have a simple language def and if possible also be
able to lift Num -> Symantics.