19 Commits

Author	SHA1	Message	Date
Marco Perone	fbf578cded	improve haddock documentation	2023-02-27 17:05:45 +01:00
Marco Perone	3cc5b668ba	disable global OverloadedStrings	2023-02-27 17:05:45 +01:00
Marco Perone	7f51d0b7af	move examples to internal package	2023-02-27 17:05:45 +01:00
Marco Perone	380ed98093	rename CRM to Crem	2023-02-27 17:05:45 +01:00
Marco Perone	41fd334f17	render all vertices of a machine	2023-02-27 17:05:45 +01:00
Marco Perone	c8ebe67973	also executables should avoid generating Paths_crm	2023-02-27 17:05:45 +01:00
Marco Perone	748c60b950	executable to plain Hobbit game	2023-02-27 17:05:45 +01:00
Marco Perone	8e3f21b7a4	add Kleisli constructor	2023-02-27 17:05:45 +01:00
Marco Perone	ca4d6826ad	StateMachine is a costrong profunctor ... implement that by showing that `StateMachine a b` is isomorhpic to `NonEmpty a -> b` Also: - remove singleVertexTopology and use trivialTopology instead - simplify Demote condition - generalize trivialTopology for any possible state	2023-02-27 17:05:45 +01:00
Marco Perone	b9a99914cc	run doctests as part of cabal test	2023-01-13 16:19:04 +01:00
Alexei Drake	29014aa0eb	prevent the auto-generated module Paths_pkgname from being built	2023-01-12 15:37:44 +01:00
Alex	456dc8161d	introduce GHC version checks for unsupported features (#9)	2023-01-12 15:29:50 +01:00
Marco Perone	5e82980d2e	refactor a bit of nix so that we can use wingman on ghc 9.0	2023-01-11 12:07:57 +01:00
Marco Perone	ca55a14e6a	A StateMachine is a profunctor	2023-01-10 17:42:41 +01:00
Marco Perone	739f466589	Render a base state machine ... Add tests Remove Mk from constructors	2023-01-09 17:53:36 +01:00
Marco Perone	24c4870359	define basic examples	2023-01-05 18:01:15 +01:00
Marco Perone	f1ccb6ebae	provide links for GHC extensions documentation	2023-01-05 11:09:29 +01:00
Marco Perone	6c7e7922a0	define Topology for a state machine	2023-01-05 11:09:07 +01:00
Marco Perone	a15084d558	initial setup	2023-01-04 17:33:08 +01:00