diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-25 17:23:36 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-09-25 17:23:36 +0200 |
| commit | dd16337adb2cd93b808a41e95ae0d0946ac91395 (patch) | |
| tree | 966f2851af5a083977829cbb764bd065f504f902 /src/Data.hs | |
| parent | 76917de6d801e3667cdf3f1bbbb5c2bceabdecb6 (diff) | |
Test neural
Diffstat (limited to 'src/Data.hs')
| -rw-r--r-- | src/Data.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Data.hs b/src/Data.hs index 4584a53..e951ef2 100644 --- a/src/Data.hs +++ b/src/Data.hs @@ -45,6 +45,11 @@ sreplicate (SS n) x = x `SCons` sreplicate n x data Nat = Z | S Nat deriving (Show, Eq, Ord) +type N0 = Z +type N1 = S N0 +type N2 = S N1 +type N3 = S N2 + data SNat n where SZ :: SNat Z SS :: SNat n -> SNat (S n) |