An implementation of a record calculus with a symmetric merge.
This follows closely the paper described below.

Author: Frank Pfenning

Reference: Robert Harper and Benjamin Pierce: A Record Calculus Based on
Symmetric Concatenation, Carnegie Mellon University, Technical Report
CMU-CS-90-157, August 1990.

An extended abstract appeared at POPL'91
