History

Quinn Dougherty 2b5ffb0d2e functions with sugars, base types		2022-03-30 12:00:47 -04:00
..
src	functions with sugars, base types	2022-03-30 12:00:47 -04:00
default.nix	spec/syntax/src: renamed directories	2022-03-28 14:13:07 -04:00
README.md	spec/syntax/src: renamed directories	2022-03-28 14:13:07 -04:00

The syntax and semantics of squiggle

We give the syntax in a BNF-like specification

Render

nix-build

Shall dump squiggle-spec.pdf in the result directory.