Update specialization.mli

tlringer · web-flow · commit b104eac8ead3 · 2021-04-20T07:39:51.000-07:00
diff --git a/plugin/src/core/components/specialization/specialization.mli b/plugin/src/core/components/specialization/specialization.mli
@@ -2,7 +2,7 @@
 
 (*
  * The default approach (specialize_using specialize_term)
- * is function application followed by betaiota reduction.
+ * is function application followed by betaiotazeta reduction.
  *
  * We expose more advanced specialization approaches so that it is
  * easy to customize how this is called, which is useful

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`
`3`	`3`	`(*`
`4`	`4`	`* The default approach (specialize_using specialize_term)`
`5`		`- * is function application followed by betaiota reduction.`
	`5`	`+ * is function application followed by betaiotazeta reduction.`
`6`	`6`	`*`
`7`	`7`	`* We expose more advanced specialization approaches so that it is`
`8`	`8`	`* easy to customize how this is called, which is useful`