/sml_paulson

Side Projects to learn Standard ML

Primary LanguageStandard 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.