Build 31.10.2020 17:51

release-0.0.8

Commutative diagram

Build 23.05.2020 08:52

release-0.0.7

limits: typemistake fixed

Build 27.09.2019 08:36

release-0.0.6

universal property in quantum mechanics

Build 11.12.2018 15:38

release-0.0.5

fun category

Build 05.11.2018 16:41

release-0.0.4

Curry-Howard isomarphism as a separate chapter

Build 03.11.2018 12:39

release-0.0.3

cites for src were added

Build 03.11.2018 06:24

release-0.0.2

Makefile update for citations

Build 03.11.2018 06:08

release-0.0.1

CI experiments