TyGuS/hoogle_plus

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

语言：Haskell · GitHub 星标：65 · Fork：8

话题：code-search · haskell · program-synthesis

在 GitHub 上查看原仓库