dijkstra language, embedded in Haskell.