TFG - Simple functional nondeterministic language that combines call-time choice and run-time choice semantics.
Primary LanguageHaskellMIT LicenseMIT