Rename editor/app.py to editor/server.py - Githubissues

fritzo / pomagma

An inference engine for extensional untyped λ-calculus

Other

17 stars 2 forks source link

Rename editor/app.py to editor/server.py #5

Closed fritzo closed 10 years ago