Occam 2

An extension of occam produced in 1987. Occam 2 adds floating-point, functions and a type system.