As part of my ongoing efforts to introduce the use of SML to complement the teaching of discrete math, I have prepared some slides showing one way to print truth tables. Since my knowledge and experience in SML is so limited, I would appreciate any constructive comments on how to improve this approach. (I am afraid my many years of using C++ has made it difficult to transition to the functional way of thinking!)
Attached is pdf of slides with SML embedded. (similar to literate programming). I am grateful for the use of ProofPower as a development environment since it allows me to combine Latex and SML in one document and extract the pieces when needed. -Dave
truth_tables.pdf
Description: Adobe PDF document
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
