Implement examples based on 'Let Arguments Go First'

Question

Implement examples based on 'Let Arguments Go First'

brendanzab opened this issue 6 years ago · 1 comments

I want to eventually use the modified bidirectional approach used in the paper 'Let Arguments Go First' in Pikelet (see pikelet-lang/pikelet#76). As a stepping stone, it might help to make some simpler examples that closely follow what was shown in the paper in this repository.

Resources

Let Arguments Go First (paper) (slides)

Answer 1 · 2018-07-07T08:00:33.000Z

We can probably adapt moniker/examples/stlc.rs as a start when implementing these!