search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Syntactic sugar for functions whose argument types should be inferred #66

Open fehrenbach opened 10 years ago

fehrenbach commented 10 years ago

Parse lambda x . e as lambda x : _ . e. Parse lambda x y . e as lambda (x : _) (y : _) . e.