technique (hackage): Check, simulate, and run procedures written in the Technique programming language
Keywords: library|mit|program|tools|haskell|language|procedures