diff options
Diffstat (limited to 'src/AST.hs')
-rw-r--r-- | src/AST.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ data Nat = Z | S Nat data SNat n where SZ :: SNat Z SS :: SNat n -> SNat (S n) -deriving instance (Show (SNat n)) +deriving instance Show (SNat n) data Vec n t where VNil :: Vec Z t |