TypeSystems Swiftによる型システムのサンプル実装置き場です。 Algorithm W Sources/AlgorithmW A Theory of Type Polymorphism - ROBIN MILNER 1978 の実装。 Fullsub Sources/Fullsub TaPL 15章の実装。OCamlの実装もあります。