Update _posts/2024-01-10-semantics-of-regular-expressions.markdown

Co-authored-by: Aaron Tomb <aarotomb@amazon.com>
dafny-lang · Jan 4, 2024 · 460ba93 · 460ba93
1 parent ab0e65f
commit 460ba93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_posts/2024-01-10-semantics-of-regular-expressions.markdown b/_posts/2024-01-10-semantics-of-regular-expressions.markdown
@@ -28,7 +28,7 @@ The definition captures that a regular expression is either a primitive characte
 
 ### Formal Languages as Codatatype
 
-We define the set of formal languages parametric in an alphabet `A` as an coinductive [`codatatype`](https://dafny.org/latest/DafnyRef/DafnyRef#sec-coinductive-datatypes):
+We define the set of formal languages parametric in an alphabet `A` as a coinductive [`codatatype`](https://dafny.org/latest/DafnyRef/DafnyRef#sec-coinductive-datatypes):
 
 ```
 codatatype Lang<!A> = Alpha(eps: bool, delta: A -> Lang<A>)