Commit 9868542f authored by simonpj's avatar simonpj
Browse files

Add comment

parent 636c9860
......@@ -15,6 +15,7 @@ type SqMat a = SM Nil a
data SM f a = ZeroS (f (f a)) | SuccS (SM (Cons f) a)
deriving Show
-- Show (f (f a)), Show (SM (Cons f) a) => Show (SM f a)
data Nil a = MkNil deriving Show
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment