Closed MichielStock closed 1 year ago
Check this in the parametric types notebook. The code does not seem to match the latex code.
looks ok in PR #128
Check this in the parametric types notebook. The code does not seem to match the latex code.