Skip to content

Commit

Permalink
add ht, refere to slides version
Browse files Browse the repository at this point in the history
  • Loading branch information
tortinator committed Nov 11, 2023
1 parent ba1cc16 commit 93c104b
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions introduction.md
Original file line number Diff line number Diff line change
Expand Up @@ -48,10 +48,13 @@ permalink: /introduction/
[yt](https://youtu.be/txlXNHs1rPo)
[up](https://mediaup.uni-potsdam.de/Play/24045)

Videos follow the slides of [v1.2.2](https://github.com/potassco-asp-course/course/releases/tag/v1.2.2)

### Extra slides

* cheat slide [pdf](https://github.com/potassco-asp-course/course/releases/download/v1.2.2/asp-in-one.pdf)
* exemplars [pdf](https://github.com/potassco-asp-course/course/releases/download/v1.2.2/asp-exemplars.pdf)
* equilibrium logic [pdf](https://github.com/potassco-asp-course/course/releases/download/v1.18.0/ht.pdf)

### Exercise sheets

Expand Down

0 comments on commit 93c104b

Please sign in to comment.