From 5551471c726a1acfef37afdd43e7d8d0272b5679 Mon Sep 17 00:00:00 2001 From: Natalie Perna Date: Tue, 6 Jun 2017 19:04:22 -0400 Subject: [PATCH] formatting --- Chapters/GenPlet.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Chapters/GenPlet.lhs b/Chapters/GenPlet.lhs index 44fed81..48731f7 100755 --- a/Chapters/GenPlet.lhs +++ b/Chapters/GenPlet.lhs @@ -67,7 +67,7 @@ For a complete listing of our implementation of the pattern let generating optim \section{Application} \label{sec:plet_app} -Triangle3sPB gives us an sample usage of mathematical pullbacks, by constructing triangle-shaped graphs and products of those graphs, as an example. These types of computations are relevant and important in many graph-rewriting calculations and can benefit from our optimisations. +The Agda module \AgdaModule{Triangle3sPB} gives us an sample usage of mathematical pullbacks, by constructing triangle-shaped graphs and products of those graphs, as an example. These types of computations are relevant and important in many graph-rewriting calculations and can benefit from our optimisations. When we compile this module once without @--ghc-generate-pattern-let@ on, and once again with @--ghc-generate-pattern-let@ enabled, a unified diff of the two generated Haskell files gives us what is shown in Figure~\ref{fig:Triangle_genplet}. Both times, the module was compiled with @--inline-proj@.