rubik
Implement rubik in idris2 TODO include deriving library strong types (vect, fin) define 1x1x2, 1x2x2 sticker mods and equal cubes bandage cube define with axis layer commutators, parity, flip functor and monads
Implement rubik in idris2 TODO include deriving library strong types (vect, fin) define 1x1x2, 1x2x2 sticker mods and equal cubes bandage cube define with axis layer commutators, parity, flip functor and monads