150 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Marco Perone	102abe03c5	paper access instructions	2023-11-27 09:43:10 +01:00
Marco Perone	9cb04816e8	add paper link	2023-11-27 09:39:14 +01:00
Marco Perone	9e0e551faa	simplify cart shipping example	2023-09-01 09:28:18 +02:00
Marco Perone	b3d9db9fe8	no do error on unticked promoted constructors	2023-07-11 09:55:15 +02:00
Marco Perone	ce430c9008	correct formatting	2023-07-10 16:29:44 +02:00
Marco Perone	910f9ec26b	add Shipping to Cart example	2023-07-10 16:22:59 +02:00
Marco Perone	f1dd9b7bf4	use fourmolu 0.12.0.0	2023-05-25 12:26:24 +02:00
Marco Perone	4b7b5b0895	new cart example	2023-05-25 12:26:24 +02:00
Marco Perone	a3c86c16cc	add avanscoperta video	2023-05-25 11:53:55 +02:00
Marco Perone	a5fcb05559	add Tweag blog post to references	2023-04-28 11:59:17 +02:00
peak-stephen	47686a11bf	Fix typo	2023-04-14 23:10:01 +02:00
silky	74020abca9	fixes #86: new hpack via a later nixpkgs and overlay	2023-04-14 13:35:52 +02:00
Marco Perone	f55c72203e	add tweag logo	2023-04-06 11:13:43 +02:00
Marco Perone	dc3938d0b1	credit Tweag in the README	2023-04-06 11:12:04 +02:00
Marco Perone	393340a1d8	improve docs	2023-04-06 11:12:04 +02:00
Marco Perone	78157a2296	update changelog	2023-03-20 11:56:35 +01:00
Marco Perone	7d442cc610	added README to extra-source-files	2023-03-20 11:47:39 +01:00
Marco Perone	118decd73e	update changelog with hobbit game improvements	2023-03-20 11:45:07 +01:00
Marco Perone	6f17e7bc32	basic hobbit-game error handling	2023-03-20 11:45:07 +01:00
Marco Perone	c3d7c89a7e	provide some basic instructions to play the hobbit game	2023-03-20 11:45:07 +01:00
Marco Perone	962504d35e	add State Machines category	2023-03-17 11:46:35 +01:00
Marco Perone	5f5331ea0b	add changelog	2023-03-17 11:39:04 +01:00
Marco Perone	2b3902701d	add errors flag ... also add some more fields in package.yaml	2023-03-17 11:39:04 +01:00
Marco Perone	56491dafa0	add some external resources to the README	2023-03-16 13:52:12 +01:00
Marco Perone	2e90a50206	improve haddock documentation for StateMachine constructors	2023-03-16 13:52:12 +01:00
Marco Perone	68baaf0831	derive newtype RenderableVertices instances	2023-03-16 10:43:49 +01:00
Marco Perone	7841ffec7f	update RenderableVertices documentation	2023-03-16 10:43:49 +01:00
Marco Perone	900f48423b	derive RenderableVertices instances via AllVertices in the examples	2023-03-16 10:43:49 +01:00
Marco Perone	0f943e4a22	setup RenderableVertices to use deriving via	2023-03-16 10:43:49 +01:00
Marco Perone	c70a4cd38e	remove unused extension	2023-03-15 09:21:19 +01:00
Marco Perone	3b9c1f1fae	document used fourmolu version	2023-03-15 09:21:19 +01:00
Marco Perone	636943727e	apply changes for fourmolu 0.10.1.0	2023-03-15 09:21:19 +01:00
Marco Perone	82ed279ea9	override fourmolu version in the nix environment	2023-03-15 09:21:19 +01:00
Marco Perone	e3b5fe3291	add fourmolu check on CI	2023-03-15 09:21:19 +01:00
Marco Perone	3ee908de38	resize doc image	2023-03-14 16:49:48 +01:00
Marco Perone	91fa27645a	enable tests for Cabal resolution	2023-03-14 16:30:34 +01:00
Marco Perone	6e04590a18	no-prepositive-qualified-module everywhere	2023-03-14 16:30:34 +01:00
Marco Perone	9f27aabf99	test on ghc 9.6.1 and cabal 3.10.0.1	2023-03-14 16:30:34 +01:00
Marco Perone	9c9010113c	add cabal version constraints	2023-03-10 16:16:47 +01:00
Marco Perone	cc6c2b7c15	decision log on cabal in CI	2023-03-09 17:40:03 +01:00
Marco Perone	531dc418ba	remove nix build from README	2023-03-09 17:40:03 +01:00
Marco Perone	e1bd0b3177	add CI badge on README	2023-03-09 17:40:03 +01:00
Marco Perone	8d0714421f	enable CI also for GHC 9.4.4	2023-03-09 17:40:03 +01:00
Marco Perone	a63e79d519	use directly cabal instead of nix in CI	2023-03-09 17:40:03 +01:00
Marco Perone	9c0a65d019	try building doctests on examples	2023-03-09 17:40:03 +01:00
Marco Perone	2b01fd6cbb	document how to open haddock docs	2023-03-07 17:55:19 +01:00
Marco Perone	7cff7bdb24	remove open-haddock	2023-03-07 17:55:19 +01:00
Marco Perone	1ccb45abdc	substitute inotify with fswatch for darwin compatibility	2023-03-07 12:03:27 +01:00
Marco Perone	4ae216adfa	use correctly identity edges when computing the product graph for machines	2023-03-06 16:10:42 +01:00
Marco Perone	86c6f32e57	add documentation for maybeM and EitherM	2023-03-06 16:02:07 +01:00