From: Amin Bandali <amin@aminb.org>
Date: Tue, 2 May 2017 02:33:21 +0000 (-0400)
Subject: Mention my work on Literate Unit-B's type checker
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/cv/commitdiff_plain/10664de5948c0a04d360967ad2df8dfc9600d520?ds=inline;hp=10664de5948c0a04d360967ad2df8dfc9600d520

Mention my work on Literate Unit-B's type checker

(separating the type checker from the parser)
---