name: gradual-typing-sgdt
include: .
depend: cubical