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