swift-compiler

个人研究页面，收录小型有限表示幺半群及其字问题难度，灵感源自 Swift 编译器使用 Knuth-Bendix 完备化判定泛型签名等价。