Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.
From old issue #34:
freshnames.sml simply does not provide fresh names relative to an existing environment yet. Finding where to produce fresh names, and using them for capture-avoiding substitution with renaming.sml, is the only programming exercise I would like help with.
From old issue #34:
freshnames.smlsimply does not provide fresh names relative to an existing environment yet. Finding where to produce fresh names, and using them for capture-avoiding substitution withrenaming.sml, is the only programming exercise I would like help with.