From 8ff37b98737f4af5bd11d3006ae1b26902a1a82f Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Mon, 5 Dec 2022 14:41:02 +0000 Subject: refactor : make Signature.T irrelevant. --- src/Soat/SecondOrder/Signature.idr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Soat/SecondOrder/Signature.idr') diff --git a/src/Soat/SecondOrder/Signature.idr b/src/Soat/SecondOrder/Signature.idr index d3e9f05..4101c87 100644 --- a/src/Soat/SecondOrder/Signature.idr +++ b/src/Soat/SecondOrder/Signature.idr @@ -5,7 +5,7 @@ module Soat.SecondOrder.Signature public export record Signature where constructor MkSignature - T : Type + 0 T : Type 0 O : T -> List (Pair (List T) T) -> Type public export -- cgit v1.2.3