Right-to-left evaluation order for heaplang
This implements right-to-left evaluation order, which makes specification about curried functions simpler.
I ported atomic-heap, and I volunteer porting iris-examples.
This implements right-to-left evaluation order, which makes specification about curried functions simpler.
I ported atomic-heap, and I volunteer porting iris-examples.