https://github.com/mgrabmueller/AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference
https://github.com/mgrabmueller/AlgorithmW

Last synced: 3 months ago
JSON representation

Example implementation of Algorithm W for Hindley-Milner type inference

• Host: GitHub
• URL: https://github.com/mgrabmueller/AlgorithmW
• Owner: mgrabmueller
• License: bsd-3-clause
• Created: 2015-05-26T15:49:39.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2022-01-25T07:58:23.000Z (almost 3 years ago)
• Last Synced: 2024-08-04T20:48:51.472Z (3 months ago)
• Language: TeX
• Size: 329 KB
• Stars: 75
• Watchers: 4
• Forks: 11
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference.

# The PDF

The PDF version of the tutorial is in subdirectory `pdf`.

# Playing with the code

You can load the code into ghci and play with it like this:

```

ghci AlgorithmW.lhs

```

# How to build

On Debian 10, the following should work and create Transformers.pdf:

```

sudo apt install texlive

lhs2TeX AlgorithmW.lhs > AlgorithmW.tex

pdflatex AlgorithmW.tex

bibtex AlgorithmW.aux

pdflatex AlgorithmW.tex

mv AlgorithmW.pdf pdf/

```