Infra 1011X

🏠

Working from home

brendanzab / quantifier-syntax.md

Created March 30, 2021 04:42

Quantifiers

Idea: create a surface syntax where all quantifiers behave more like records/modules with labelled entries.

{
 out id : {

brendanzab / porting-inference-rules.md

Last active November 13, 2025 11:50

T ::=
  | Int
  | Bool

t1, t2 ::=