programming_formalisms - v0.9

• Ready to teach for summer 2025

- Shell
Published by richelbilderbeek 10 months ago

programming_formalisms - v0.8.2

• Add DOI

- Shell
Published by richelbilderbeek about 1 year ago

programming_formalisms - v0.8.1

Learners' evaluations added.

- Shell
Published by richelbilderbeek about 1 year ago

programming_formalisms - v0.8

After course iteration of November 2024.

- Shell
Published by richelbilderbeek about 1 year ago

programming_formalisms - v0.7

Autumn course 2023 is done and the Retrospects are in :-)

- Shell
Published by richelbilderbeek about 2 years ago

programming_formalisms - v0.6.1

Minor improvements

- Shell
Published by richelbilderbeek about 2 years ago

programming_formalisms - v0.6

Ready (enough) for autumn 2023 course

- Shell
Published by richelbilderbeek about 2 years ago

programming_formalisms - v0.5

Add feedback to students

- Shell
Published by richelbilderbeek over 2 years ago

programming_formalisms - v0.4

Builds cleanly

- Shell
Published by richelbilderbeek over 2 years ago

programming_formalisms - v0.3

Builds cleanly

- Shell
Published by richelbilderbeek over 2 years ago

programming_formalisms - v0.2

Clean build

- Shell
Published by richelbilderbeek over 2 years ago

programming_formalisms - v0.1

All tests pass

- Shell
Published by richelbilderbeek almost 3 years ago