Type-safe language for the Erlang VM and JavaScript runtimes now supports external annotations for external types.

This is the main repository for all of the projects in the course.