Stream: concrete semantics
Topic: signup sheet
Simon Hudon (Mar 01 2019 at 19:00):
Hi all! Who would like to signup to do one chapter a week and submit them on github so that we can discuss the solutions?
Henrik Böving (Nov 25 2021 at 20:53):
@Simon Hudon how did this project end up?
Last updated: Aug 03 2023 at 10:10 UTC