3 lines
56 B
Text
3 lines
56 B
Text
name: tspl2019
|
|
depend: standard-library plfa
|
|
include: .
|
name: tspl2019
|
|
depend: standard-library plfa
|
|
include: .
|