Closed anton-k closed 3 years ago
Implements declarations of new data types in the repl. We need to implement a check of data type by kinds. Right now it's leaved as TODO. I will implement it in the next task.
Implements declarations of new data types in the repl. We need to implement a check of data type by kinds. Right now it's leaved as TODO. I will implement it in the next task.