5 lines
140 B
Text
5 lines
140 B
Text
-- set_option default configuration for tests
|
|
prelude
|
|
set_option pp.colors false
|
|
set_option pp.unicode true
|
|
set_option new_elaborator true
|