Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
README.markdown
eval.ml
example.poly
interpret.ml
lexer.mll
parser.mly
poly.ml
syntax.ml
tagline.markdown
type_infer.ml

README.markdown

A simple lazy purely functional language with parametric polymorphism. The implementation contains a parser, type inference, and an efficient interpreter. The language has integers, booleans, lists, pairs, functions, and a general fixpoint operator.

Poly is very similar to miniHaskell. The only difference is that it infers polymorphic types.

The file example.minply defines basic operations on lists.