GitHub repository: sweirich/tal
Primary language: Haskell
Created: 2015-10-05T16:48:56Z
Description: An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)