From 962504d35ed146a53b96ddbbe1b531a7cd963f72 Mon Sep 17 00:00:00 2001 From: Marco Perone Date: Fri, 17 Mar 2023 11:46:35 +0100 Subject: [PATCH] add `State Machines` category --- crem.cabal | 2 +- package.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/crem.cabal b/crem.cabal index 9d4bd62..8c3a8be 100644 --- a/crem.cabal +++ b/crem.cabal @@ -8,7 +8,7 @@ name: crem version: 0.1.0.0 synopsis: Compositional representable executable machines description: `crem` stands for __c__ompositional __r__epresentable __e__xecutable __m__achines. It allows creating state machines (Mealy machines in fact), compose them to build bigger machines out of smaller ones and then run them and draw their flow and their state space. -category: Machines, Control +category: Machines, Control, State Machines homepage: https://github.com/tweag/crem bug-reports: https://github.com/tweag/crem/issues author: Marco Perone diff --git a/package.yaml b/package.yaml index cd2ddbc..8be399f 100644 --- a/package.yaml +++ b/package.yaml @@ -4,7 +4,7 @@ author: Marco Perone maintainer: marco.perone@tweag.io copyright: 2022 Tweag I/O license: MIT -category: Machines, Control +category: Machines, Control, State Machines synopsis: Compositional representable executable machines homepage: https://github.com/tweag/crem bug-reports: https://github.com/tweag/crem/issues