Introducing Numbat: A programming language with physical units as types

Introducing Numbat: The type system

Introduces the programming language Numbat and its type system