git.iko.soy/rowtype-yoga/purescript-native
on 33db511 help sign in
7 lines 177 B history raw
1module Main 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)
7 main = Debug.Trace.trace "Done"