Open sharwell opened 9 years ago
Press Enter after the type(Foo) command.
type(Foo)
SomeRule : 'x' -> type(Foo) ;
Press Enter after the
type(Foo)
command.