Skip to content

Commit

Permalink
Merge pull request #31 from potassco-asp-course/javier/wip
Browse files Browse the repository at this point in the history
fixed linkes to exercises
  • Loading branch information
tortinator authored Feb 2, 2024
2 parents 1e473c6 + 3161e47 commit 9907d21
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ The following slide deck and video playlist provide the last snapshot of the cur

[slides](https://github.com/potassco-asp-course/course/releases/download/v1.7.3/computation.pdf)
[videos](https://youtube.com/playlist?list=PL7DBaibuDD9NbVx8aleanvEAyVRYmvUST)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/1.2.0/computation-exercises.pdf)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/v1.2.0/computation-exercises.pdf)
[workspace](/computation/)

### Characterizations
Expand All @@ -121,14 +121,14 @@ The following slide deck and video playlist provide the last snapshot of the cur

[slides](https://github.com/potassco-asp-course/course/releases/download/v1.11.1/acharacterization.pdf)
[videos](https://youtube.com/playlist?list=PL7DBaibuDD9P_bClrNMkTC9X71oqGOMiA)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/1.2.0/acharacterization-exercises.pdf)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/v1.2.0/acharacterization-exercises.pdf)
[workspace](/acharacterization/)

#### Operational characterization

[slides](https://github.com/potassco-asp-course/course/releases/download/v1.9.3/ocharacterization.pdf)
[videos](https://youtube.com/playlist?list=PL7DBaibuDD9NkCfCqvMGt9VQXujGg56Wf)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/1.2.0/ocharacterization-exercises.pdf)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/v1.2.0/ocharacterization-exercises.pdf)
[workspace](/ocharacterization/)

#### Proof-theoretic characterization
Expand All @@ -140,7 +140,7 @@ The following slide deck and video playlist provide the last snapshot of the cur

[slides](https://github.com/potassco-asp-course/course/releases/download/v1.11.6/solving.pdf)
[videos](https://youtube.com/playlist?list=PL7DBaibuDD9NFCpoQWNCvoSdhPE3kdzmM)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/1.2.0/solving-exercises.pdf)
[exercises](https://github.com/potassco-asp-course/exercises/releases/download/v1.2.0/solving-exercises.pdf)
[solutions](https://youtube.com/playlist?list=PL7DBaibuDD9O6yRpfJ8_klmtSf7pJhasS)
[workspace](/solving/)

Expand Down
2 changes: 1 addition & 1 deletion language.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ permalink: /language/
[up](https://mediaup.uni-potsdam.de/Play/25591)
* conditional literals
[yt](https://youtu.be/I6OInwEi-eg)
[up](https://mediaup.uni-potsdam.de/Play/25591)
[up](https://mediaup.uni-potsdam.de/Play/25593)
* optimization
[yt](https://youtu.be/_CgTpOJ3W88)
[up](https://mediaup.uni-potsdam.de/Play/25741)
Expand Down

0 comments on commit 9907d21

Please sign in to comment.