Assignment: DSLM Week 2

DSLsofMath 2025 (DAT326 / DIT983)
2025-01-03T13:59:13Z

Due: 31 Jan 2025 by 13:10

Pick one of 2.12 and 2.27 from the current snapshot of the book (or see below).

----

Exercise 2.12. Define a function doNot : Prop → Prop for De Morgan dualisa-
tion, such that eval (doNot e) == eval (Not e) and so that the only remaining
uses of Not are on Names

----

Pick one of 2.12 and 2.27 from the current snapshot of the book (or see below).

----

Exercise 2.12. Define a function doNot : Prop → Prop for De Morgan dualisa-
tion, such that eval (doNot e) == eval (Not e) and so that the only remaining
uses of Not are on Names

----