Design #1425
MakeTerm: implement in C++
Start date:
26 Feb 2020
Due date:
% Done:
0%
Estimated time:
Description
Currently MakeTerm
is implemented in cocolib.cpkg5
.
Move it into C++.
History
#1 Updated by John Abbott over 2 years ago
- Target version changed from CoCoA-5.4.0 to CoCoA-5.4.2