rogerburtonpatel / vml

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.
5 stars 0 forks source link

vml

This repository contains the source for $V^{-}$ and $P^{+}$, a subset of Verse and a pattern-based language.

The code is the implementation component of An Alternative to Pattern Matching, Inspired by Verse, my undergraduate senior thesis with Norman Ramsey and Milod Kazerounian. The repository also contains the source for the paper. The full paper can be found here.

src: source code for vml.

bin: source code for vml.

script-util: util files for scripts to improve workflow.