Open ptal opened 9 years ago
We could probably insert semantic action to keep the core typing system simple. Also is it really wanted?
We could probably insert semantic action to keep the core typing system simple. Also is it really wanted?