What's Changed
- Update URL to the Library Graph by @WojciechKarpiel in #109
- Fix text formatting (no space between text and formula) by @WojciechKarpiel in #110
- Fix invalid variable name, so that example code compiles by @WojciechKarpiel in #111
- Typo Section 6.2 by @olaure01 in #113
- correct typo by @marklemay in #118
- correct typos by @marklemay in #119
- intended meeting? by @marklemay in #120
- Fix .v files + jscoq by @gares in #121
- updating jscoq snippets for docs folder by @andreykl in #124
- fix github pages build by @andreykl in #125
- explain in chap1, that all snippets have to be executed in order by @ybertot in #129
- Fix various typos by @siraben in #130
- Add GitHub Actions by @siraben in #132
- Add badge and mention Nix and CI by @siraben in #134
- Fix some typos and adjust wording by @siraben in #133
- minor improvements(?) by @darijgr in #135
- Minor wording adjustments by @siraben in #136
- change inconsistent usage of idfun by @jzc in #138
- snippets changed: ch1 ch2 ch3 ch4 ch5 better reflect book content now by @andreykl in #142
- link to snippets (fix #140) by @gares in #143
- Add Nix flake by @siraben in #139
Full Changelog: zenodo-1.0.1...zenodo-1.0.2
Contributors
andreykl, gares, and 7 other contributors