├── .github └── workflows │ └── build.yml ├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── hindley-milner.cabal ├── src ├── Language │ ├── HM.hs │ └── HM │ │ ├── AlgorithmW.hs │ │ ├── Alpha.hs │ │ ├── Term.hs │ │ ├── Theta.hs │ │ ├── Type.hs │ │ └── TypeError.hs └── Main.hs ├── stack.yaml ├── stack.yaml.lock └── test ├── Language └── HM │ ├── AlgorithmWSpec.hs │ └── TypeSpec.hs └── Spec.hs /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /hindley-milner.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/hindley-milner.cabal -------------------------------------------------------------------------------- /src/Language/HM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM.hs -------------------------------------------------------------------------------- /src/Language/HM/AlgorithmW.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/AlgorithmW.hs -------------------------------------------------------------------------------- /src/Language/HM/Alpha.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/Alpha.hs -------------------------------------------------------------------------------- /src/Language/HM/Term.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/Term.hs -------------------------------------------------------------------------------- /src/Language/HM/Theta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/Theta.hs -------------------------------------------------------------------------------- /src/Language/HM/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/Type.hs -------------------------------------------------------------------------------- /src/Language/HM/TypeError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Language/HM/TypeError.hs -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/src/Main.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /test/Language/HM/AlgorithmWSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/test/Language/HM/AlgorithmWSpec.hs -------------------------------------------------------------------------------- /test/Language/HM/TypeSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/hindley-milner/HEAD/test/Language/HM/TypeSpec.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_GHC -F -pgmF hspec-discover #-} 2 | --------------------------------------------------------------------------------