Rare find

tal. An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

github.com/sweirich/tal

Problem

Audience

Updates

No founder updates yet. Check back soon.