GitHub repository: smucclaw/baby-l4
Primary language: Grammatical Framework
Created: 2021-02-17T06:56:11Z
Description: A miniature version of the l4 language