diff --git a/src/swarm-lang/Swarm/Effect/Unify/Fast.hs b/src/swarm-lang/Swarm/Effect/Unify/Fast.hs index 64477b635..3bc5c62bd 100644 --- a/src/swarm-lang/Swarm/Effect/Unify/Fast.hs +++ b/src/swarm-lang/Swarm/Effect/Unify/Fast.hs @@ -8,7 +8,7 @@ -- -- Description: Fast yet purely functional implementation of -- unification, using a map as a lazy substitution, i.e. a --- manually-mainted "functional shared memory". +-- manually-maintained "functional shared memory". -- -- See Dijkstra, Middelkoop, & Swierstra, "Efficient Functional -- Unification and Substitution", Utrecht University tech report