sraaphorst / spelunker

Maze generation and solving library
Other
11 stars 2 forks source link

T77: Added identity homomorphism. #79

Closed sraaphorst closed 6 years ago

sraaphorst commented 6 years ago

The base Homomorphism typeclass file now contains a definition for Homomorphism<S,S>.

This has the possible issue that anything - even things that don't necessarily make sense - have a homomorphism defined for them.