Evaluate “A Structural and Nominal Syntax for Programs” - Githubissues

prathyvsh / notation

Repo to track the evolution of notation in arts and sciences

137 stars 4 forks source link

Evaluate “A Structural and Nominal Syntax for Programs” #30

Open prathyvsh opened 4 years ago

prathyvsh commented 4 years ago

https://arxiv.org/abs/1702.01695