diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-12 14:44:40 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-12 14:44:40 +0100 |
| commit | 890039d7dac42200ea280177d0dfba4792f30d93 (patch) | |
| tree | 8a96ab0222d7e6b519be978db123ba6050026d16 | |
| parent | fd658831ab53f07969524fee0257d086d6f79f5a (diff) | |
Add constructor for signature.
| -rw-r--r-- | src/Data/Term.idr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/Term.idr b/src/Data/Term.idr index b65859e..01de5d2 100644 --- a/src/Data/Term.idr +++ b/src/Data/Term.idr @@ -12,6 +12,7 @@ import Syntax.PreorderReasoning public export record Signature where + constructor MkSignature Operator : Nat -> Type %name Signature sig |