Closed recursion-ninja closed 5 years ago
Write an elimination function for the EvaluationT data type so we don't need to export the internal primative type EvalUnit. This is related to #16.
EvaluationT
EvalUnit
This is done. See 8464799.
Write an elimination function for the
EvaluationT
data type so we don't need to export the internal primative typeEvalUnit
. This is related to #16.