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