Closed tribbloid closed 3 years ago
add 4 test cases for singleton & witness value types
base and plugin now defaults to default tests and bytecode directories, allowing tests to be run in IDE
add special handling for SingletonType (for displaying term.type) & RefinedType (for displaying Witness value type)
add 4 test cases for singleton & witness value types
base and plugin now defaults to default tests and bytecode directories, allowing tests to be run in IDE
add special handling for SingletonType (for displaying term.type) & RefinedType (for displaying Witness value type)