Can somebody point me at examples of languages that (a) have dependent type and (b) do it with a decently clean grammar? Dependent type tends to mix the expression sub-grammar with the type sub-grammar, and the grammars for this can be tricky. I want to look at some of the existing language specifications to see how they managed to keep the two parts of the grammar clean.
Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
