Lustre is an actively used programming language created in 1993.

26Years Old 1,910Users 2Jobs

Example code from Wikipedia:

node Edge (X : bool) returns (E : bool);
let
  E = false -> X and not pre X;
tel
Edit

Last updated February 11th, 2019