books

A simple programming language that compiles to a stack-based virtual machine

Meta

• Author(s):
  • Charles Averill (initial)
• License: Not set
• Compatible Rocq versions: 9.0.0 or later
• Coq namespace: books
• Related publication(s): none

Building and installation instructions

To build and install manually, do:

git clone https://github.com/GH_UCharles Averill/books.git
cd books
make