fix typo

ncfavier · Sep 19, 2023 · e2b0392 · e2b0392
1 parent c61b9fc
commit e2b0392
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/y.glam b/examples/y.glam
@@ -1,5 +1,5 @@
 -- A guarded variant of Curry's Y combinator.
--- Alternately, a proof of Löb's theorem for the "later" modality.
+-- Alternatively, a proof of Löb's theorem for the "later" modality.
 
 type Mu a = >Mu a -> a