This repository contains my implementation of an encoding from the Verse Calculus to an extended Relational Machine Calculus
To build the example, install GHC and the Haskell package Parsec, and Make, then run src_bash{make demo}, and run the executable named src_bash{demo}.