aziis98 1f85bf1425 Forse finalmente le slide sono finite

2023-03-31 16:03:12 +02:00

..

001-generic-methods

Molte slide

2023-03-24 01:59:53 +01:00

002-refs

First draft notes

2023-02-27 23:01:02 +01:00

003-adt

First draft notes

2023-02-27 23:01:02 +01:00

004-gadt

First draft notes

2023-02-27 23:01:02 +01:00

005-iface-vs-typeparam

Molte slide

2023-03-24 01:59:53 +01:00

chans

Forse finalmente le slide sono finite

2023-03-31 16:03:12 +02:00

generic-database

Too many slides

2023-03-25 02:14:44 +01:00

http-utils

Varie migliorie

2023-03-29 03:50:52 +02:00

ifaces

Forse finalmente le slide sono finite

2023-03-31 16:03:12 +02:00

min

Iniziata pulizia delle slide

2023-03-29 16:20:47 +02:00

theorem-proving

foewhfuoewhow

2023-03-26 23:14:36 +02:00