Type Constrained Program Search: Superoptimization using types and pruning
Primary LanguageHaskellMIT LicenseMIT