/hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.