Skip to content

Right-to-left evaluation order for heaplang

Jacques-Henri Jourdan requested to merge ci/jh/r2l into master

This implements right-to-left evaluation order, which makes specification about curried functions simpler.

I ported atomic-heap, and I volunteer porting iris-examples.

Merge request reports