From 5a5331537c3fa89ac1a553e101997e945ce97bc0 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Mon, 21 Feb 2022 12:22:37 +0100
Subject: skeletons

---
 src/act4e_solutions/semigroups.py | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/act4e_solutions/semigroups.py

(limited to 'src/act4e_solutions/semigroups.py')

diff --git a/src/act4e_solutions/semigroups.py b/src/act4e_solutions/semigroups.py
new file mode 100644
index 0000000..31ecd58
--- /dev/null
+++ b/src/act4e_solutions/semigroups.py
@@ -0,0 +1,10 @@
+from typing import List, TypeVar
+
+import act4e_interfaces as I
+
+C = TypeVar("C")
+
+
+class MyFiniteSemigroupConstruct(I.FiniteSemigroupConstruct):
+    def free(self, fs: I.FiniteSet[C]) -> I.FreeSemigroup[C, List[C]]:
+        raise NotImplementedError()
-- 
cgit v1.2.1