3 Commits (650d2fe6444c3b5389ffffad7b44ca99fda50e66)

Author SHA1 Message Date
Daniel Grunwald ee5d87a0f8 Add year to license headers. 13 years ago
Daniel Grunwald 44b1c40e70 Remove some dead code. 14 years ago
Daniel Grunwald f631199013 Type system refactoring: split unresolved/resolved type systems. 14 years ago