/hoogle_plus

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

Primary LanguageHaskell

Watchers

No one’s watching this repository yet.