moniker
moniker copied to clipboard
Implement examples based on 'Let Arguments Go First'
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
We can probably adapt moniker/examples/stlc.rs as a start when implementing these!