From b104eac8ead345c9205ea2dda9a2507d955ca5a6 Mon Sep 17 00:00:00 2001 From: Talia Ringer Date: Tue, 20 Apr 2021 07:39:51 -0700 Subject: [PATCH] Update specialization.mli --- plugin/src/core/components/specialization/specialization.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugin/src/core/components/specialization/specialization.mli b/plugin/src/core/components/specialization/specialization.mli index f13bba2..5dbc4cd 100644 --- 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