hoogle_plus
类型驱动的，基于组件的综合，展示了TYpe指导的抽象优化（TYGAR）。
使用评估版Docker映像
系统先决条件：
码头工人
乳胶（用于汇编完整的评估结果）
评价结果
H +将重新运行其评估以生成五个文件：
table.tex和table_results.tex这些是胶乳文件以在纸的评估部分看到的表。 您将需要使用系统的乳胶安装pdflatex table.tex来组合它们。
major_variants.pdf这是4种主要搜索策略（TYGARQ，TYGARQB10，TYGAR0，NOGAR）的图解。
bounded_variants.pdf这是4个有界抽象
