Mention my work on Literate Unit-B's type checker
authorAmin Bandali <amin@aminb.org>
Tue, 2 May 2017 02:33:21 +0000 (22:33 -0400)
committerAmin Bandali <amin@aminb.org>
Tue, 2 May 2017 02:33:21 +0000 (22:33 -0400)
commit10664de5948c0a04d360967ad2df8dfc9600d520
tree4795d1ff3b2d9d9c26b241f4d274cc5ad7508ad8
parent9bbaaec31cabc581fe5cd0947d189c53280c026c
Mention my work on Literate Unit-B's type checker

(separating the type checker from the parser)
cv.tex