Update GOL.Space

This commit is contained in:
Kiana Sheibani 2021-12-28 00:51:51 -05:00
parent b967297642
commit 3a15c34743

View file

@ -15,8 +15,8 @@ import qualified Data.Vector as V
-- takes place, with a notion of "neighbors to a cell" defined. -- takes place, with a notion of "neighbors to a cell" defined.
-- --
-- More specifically, a space is a representable functor @f@ such -- More specifically, a space is a representable functor @f@ such
-- that @'Rep' f@ is a graph. 'neighbors' then takes a node of -- that @'Rep' f@ is a simple undirected graph. 'neighbors' then
-- that graph and returns all nodes that are adjacent. -- takes a node of that graph and returns all nodes that are adjacent.
-- --
-- Instances should satisfy: -- Instances should satisfy:
-- --