Skip to content

Latest commit

 

History

History
5 lines (3 loc) · 335 Bytes

File metadata and controls

5 lines (3 loc) · 335 Bytes

minCon - Minimal Contract Language

DOI

This is the repository for the proof of concept parser for a minimal contract language (minCon), as part of my thesis. It is designed to be a contract focused CNL, with a grammar defined in one place.