git.iko.soy/rowtype-yoga/purescript-native
on 28fa718 help sign in
9 lines 194 B history raw
1module Nested where
3 data Extend r a = Extend { prev :: r a, next :: a }
5 data Matrix r a = Square (r (r a)) | Bigger (Matrix (Extend r) a)
6
7module Main where
9main = Trace.trace "Done"