search

david-christiansen / tiny-dependent-types

A very simple implementation of a little dependently typed language
Other
11 stars 1 forks source link

Ugly parser #3

Open david-christiansen opened 12 years ago

david-christiansen commented 12 years ago

The parser is currently just hacked together. It spits out a number of shift/reduce and reduce/reduce conflicts that need to be looked at.

sestoft commented 12 years ago

This probably due to the application production.