diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2023-09-21 15:52:22 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2023-09-21 15:52:22 +0200 |
| commit | 574569ee96a01d623baf8efdcd3908eef42b8007 (patch) | |
| tree | cffc7d81e32b2b52430ac7da97a2a31102f55c97 /src/AST.hs | |
| parent | 8d07a43f0b364156433dc453b9d1cc762c032634 (diff) | |
Storage policy (accum / merge)
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 |