search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 10 forks source link

Hazelnut: A Bidirectionally Typed Structure Editor Calculus #53

Closed hzafar closed 6 years ago

hzafar commented 7 years ago

https://arxiv.org/pdf/1607.04180.pdf