added testcase for categories with lincat C = {};

2026-09-24 11:16:01 -06:00 · 2009-05-20 16:27:12 +00:00
parent 0d36ec5879
commit 77017c75a7
4 changed files with 34 additions and 0 deletions
@@ -0,0 +1,9 @@
+abstract lins = {
+
+cat Nat ;
+cat C Nat ;
+
+fun zero : Nat ;
+    test : C zero ;
+
+}