Closed intsuc closed 2 years ago
abstract modifiers prevent definitions from being unfolded at compile-time. They are like Agda's abstract definitions. Used in conjunction with a builtin modifier, we can define Minecraft functions.
abstract
builtin
abstractmodifiers prevent definitions from being unfolded at compile-time. They are like Agda's abstract definitions. Used in conjunction with abuiltinmodifier, we can define Minecraft functions.