Numbat is a statically typed programming language designed for scientific computations, featuring...