Mention my work on Literate Unit-B's type checker
-rw-r--r-- 2097 .gitignore
-rw-r--r-- 19106 LICENSE
-rw-r--r-- 724 README.md
-rw-r--r-- 8659 cv.tex