The Anselm Programming Language

This directory contains the source code (and other related artifacts) for the Anselm programming language.

Anselm is a new programming language based on a dependently typed variant of Paul Levy's Call-by-push-value. The Anselm language is formalized in terms of a simpler, core calculus called Gaunilo.