search

Toxaris / pts

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

Use push typechecking for top level declarations #67

Closed fehrenbach closed 10 years ago

fehrenbach commented 10 years ago

For example this should work:

foo : Int -> Int
 = lambda x : _ . x;

Together with #66 even this:

foo : Int -> Int
 = lambda x . x