issues
search
kevinsullivan
/
cs6501s23
Formal Mathematics for Software Design
6
stars
6
forks
source link
Section 2.4.3 - Suggestions
#34
Open
RoboticMind
opened
1 year ago
RoboticMind
commented
1 year ago
It might be helpful to provide an example use of
pEval
as students likely don't have lean syntax quite down at this point
Worth defining what a unary operator is (that it only takes one input rather than two)
Worth clarifying what is mean by "Add end-to-end support for logical nand (↑) and nor (↓) expression-building operators"
pEvalas students likely don't have lean syntax quite down at this point