teirm / sml_paulson

Side Projects to learn Standard ML

SML

Side Projects to learn Standard ML using L.C. Paulson's book ML for the working programmer.

17-07-23

• Started repository and working on chapter 2
• Using PolyML

2020-11-10

• Restarted work on learning SML using PolyML

2021-01-16

• Read through chapter 6. Mostly on program verification in SML. No significant coding.