Implementation of language examples in this course
There are several folders in this repo:
- OCaml: OCaml implementation, but not well-implemented.
- C++: C++ implementation. The code implementation is in line with my course progress. Plan to use lexer and yacc to do more things.
- coqProof: trivial proof. Just for fun.