Finish implementing Oxide - Githubissues

evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

31 stars 0 forks source link

Finish implementing Oxide #9

Open mrkgnao opened 4 years ago

mrkgnao commented 4 years ago

[x] syntax
[ ] type checker
[ ] borrow checker
[ ] simple parser/frontend (#5)
[ ] backend: interpreted to start probably (#6)