Olaru-lang Olaru is a toy functional language that supports substructural type systems (ordered, linear, affine, relevant, unrestricted).