MiniAgda的ScopeChecker和TypeChecker是分离的,如何评价这种做法?

因为似乎这和不少其他的DT语言背道而驰。


Preview:

Cancel