search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Curly and Brackets Constructors #145

Closed agureev closed 1 year ago

agureev commented 1 year ago

Adds two new constructors to the VampIR spec, allowing for the making of the empty bracket used for induction on lists and of the curly brackets for function specification.