1.1.1+2023-03-08-11-27

feat: uupdate year

1.0.1+2022-03-15-09-35

fix: minor aspects

1.0.0+2022-03-14-16-59

fix: add references and minor fixes

0.1.5-dev+2022-03-14-16-28

add exercise description

0.1.5-dev+2022-03-12-18-18

chore: describe up to 2p-kt

0.1.4-dev+2022-03-12-11-50

chore: intensional vs. extensional

0.1.4-dev+2022-03-11-17-33

chore: discuss difference among fol and hc

0.1.4-dev+2022-03-11-17-08

fix: short year in bottom-right side of the slides

0.1.4-dev+2022-03-11-17-03

chore: ok up to horn clauses

0.1.3-dev+2022-03-05-16-19

chore: add readme with overview