Geeks
charlesetc
/
polar
A structure editor for a lambda calculus
Primary Language
JavaScript
polar GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Stargazers
smorimoto
@ocaml @tc39
stefanzan
厦门云麒