Login

All Top-level Files

All Tip Tree-View Trunk

Files in the top-level directory in any check-in

  • .fossil-settings
  • anselmpro
  • gaunilo
  • site
  • spec
  • readme.md

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.