├── README.md ├── SConstruct ├── demo.cpp ├── inference.hpp ├── syntax.hpp └── unification.hpp /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/README.md -------------------------------------------------------------------------------- /SConstruct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/SConstruct -------------------------------------------------------------------------------- /demo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/demo.cpp -------------------------------------------------------------------------------- /inference.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/inference.hpp -------------------------------------------------------------------------------- /syntax.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/syntax.hpp -------------------------------------------------------------------------------- /unification.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jaredhoberock/hindley_milner/HEAD/unification.hpp --------------------------------------------------------------------------------