History / Abstracts.2021.STLCCC

Revisions

Updated Abstracts.2021.STLCCC (markdown)

Carlos Tomé committed Sep 30, 2021

c5bc2f4
Updated Abstracts.2021.STLCCC (markdown)

Carlos Tomé committed Sep 29, 2021

cecc4c4
Updated Abstracts.2021.STLCCC

bafain committed Sep 23, 2021

4573710
Add back Agda code and link to agda-categories

sstucki committed Sep 23, 2021

c31b449
Updated Abstracts.2021.STLCCC

bafain committed Sep 23, 2021

6d3d5d6
Updated Abstracts.2021.STLCCC (markdown)

andreasabel committed Sep 23, 2021

bad5208
Updated Home

bafain committed Sep 17, 2021

2c116c8
Add abstract for STLCCC lectures 2021

sstucki committed Sep 17, 2021

ac524b9