@hackage / language-gcl

Something similar to Dijkstra's guarded command language