Attempt start on compilable product games. I don't know if this will work but I figured I would try.
Attempt start on compilable product games.
I don't know if this will work but I figured I would try.

Also, changed the line
  Parameter (N : OrdNat.t).
to
  Variable (N : OrdNat.t).
in the resourceCompilable section. This is what was causing the build
issue. If it's actually supposed to be a Parameter then I can change it
back and fix anything that gets broken.

gstew5/cage,gstew5/cage