Index of /~Agda_in_Padova/
../
MGS2024/ 16-Sep-2024 11:52 -
Padova2024/ 16-Sep-2024 11:52 -
Padova2025/ 05-May-2025 13:04 -
Verona2024/ 16-Sep-2024 11:52 -
html/ 12-Feb-2022 16:07 -
shared-files/ 16-Sep-2024 11:52 -
#+# 27-May-2020 13:15 14
#Ex--4# 06-May-2022 12:25 1
#Ex-4.agda# 06-May-2022 12:25 4360
#Frame.agda# 09-Jun-2020 18:50 3226
#Site.agda# 12-Feb-2022 02:24 860
#boehm-berrarducci.agda# 04-Apr-2022 19:07 125
#cub.agda# 07-Jun-2020 17:07 447
#cubical2.agda# 04-Jun-2020 12:29 4009
#cubical3.agda# 08-Jun-2020 10:33 7586
#cubical4.agda# 04-Jun-2020 17:19 873
#czf.agda# 16-Jun-2021 14:54 1486
#exercises-1.agda# 07-May-2020 14:31 14594
#exercises-2.agda# 03-Jun-2020 09:12 19409
#exercises-3.agda# 06-May-2022 12:25 6914
#exercises-4.agda# 06-May-2022 12:25 2
#hello.agda# 20-Jul-2022 14:28 4901
#insertion-sort.agda# 17-Mar-2021 00:21 9245
#lamda-calculus.agda# 27-May-2020 14:25 5963
#maximal-ideals.agda# 28-Jun-2022 07:30 3425
#maximax.agda# 28-Jun-2022 07:30 8715
#setoids.agda# 16-Mar-2021 21:34 10750
#signature.agda# 07-Jun-2020 10:46 3367
#uf-maximal-ideals.agda# 04-Dec-2021 01:46 1187
01-prep.agda 29-Apr-2020 10:16 2113
Countable.agda 12-Feb-2022 16:07 11597
Countable.agdai 29-May-2022 22:24 208298
Countable.agda~ 12-Feb-2022 14:43 9752
Ex-1.agda 24-Apr-2021 00:58 8457
Ex-2.agda 01-May-2021 13:56 15395
Ex-3.agda 24-May-2021 10:08 5881
Ex-4.agda 24-May-2021 10:08 4359
Ex-5.agda 24-May-2021 10:08 4048
Flabby.agda 15-Feb-2022 23:11 1496
Flabby.agdai 15-Feb-2022 22:24 24675
Flabby.agda~ 15-Feb-2022 22:15 21
Frame.agda 09-Jun-2020 18:50 3230
Frame.agdai 08-Jun-2020 03:43 95489
Frame.agda~ 08-Jun-2020 09:42 2915
Site-cubical.agda 12-Feb-2022 02:24 859
Site-cubical.agdai 12-Feb-2022 02:24 66826
Site-cubical.agda~ 12-Feb-2022 02:23 860
Site.agda 08-Jun-2020 02:57 860
Site.agdai 16-Mar-2021 21:31 67358
Site.agda~ 08-Jun-2020 02:31 54
UniversalRing.agda 15-Jan-2022 02:08 5069
agdaworkshop2b.agda 15-Oct-2021 13:44 4901
boehm-berrarducci.agda 04-Apr-2022 19:06 123
boehm-berrarducci.agdai 04-Apr-2022 19:06 5787
boehm-berrarducci.agda~ 04-Apr-2022 19:05 0
cub.agda 07-Jun-2020 09:06 444
cub.agdai 06-Jun-2020 16:57 77232
cub.agda~ 06-Jun-2020 17:20 419
cubical.agda 04-Jun-2020 08:22 1399
cubical.agdai 04-Jun-2020 07:29 47504
cubical.agda~ 04-Jun-2020 07:25 507
cubical2.agda 04-Jun-2020 12:11 4016
cubical2.agdai 04-Jun-2020 11:57 4796
cubical2.agda~ 04-Jun-2020 11:58 3878
cubical3.agda 04-Jun-2020 14:41 7583
cubical3.agdai 04-Jun-2020 14:39 59889
cubical3.agda~ 04-Jun-2020 12:28 26
cubical4.agda 04-Jun-2020 17:18 864
cubical4.agdai 04-Jun-2020 17:13 31636
cubical4.agda~ 04-Jun-2020 17:09 26
czf.agda 10-Jun-2020 13:09 1486
czf.agda~ 10-Jun-2020 13:03 1169
exercises-1.agda 24-Apr-2021 00:37 14596
exercises-1.agdai 30-Apr-2020 14:50 20377
exercises-1.agda~ 06-May-2020 14:30 9763
exercises-2-clean.agda 13-May-2020 14:29 10696
exercises-2-clean.agda~ 13-May-2020 13:48 10186
exercises-2.agda 13-May-2020 13:46 19408
exercises-2.agdai 13-May-2020 12:41 151135
exercises-2.agda~ 13-May-2020 12:34 16880
exercises-3.agda 27-May-2020 12:33 6914
exercises-3.agdai 27-May-2020 12:33 84292
exercises-3.agda~ 27-May-2020 12:30 9246
hello.agda 15-Oct-2021 13:44 4901
hello.agdai 18-Apr-2021 00:48 17656
hello.agda~ 18-Apr-2021 00:48 1470
hott.agda 27-May-2020 21:38 98
hott.agdai 27-May-2020 21:38 66211
hott.agda~ 27-May-2020 21:35 43
insertion-sort.agda 29-Apr-2021 00:21 9244
insertion-sort.agdai 28-May-2020 15:57 82844
insertion-sort.agda~ 28-May-2020 14:13 4731
lamda-calculus.agda 27-May-2020 14:03 5227
lamda-calculus.agdai 27-May-2020 13:28 18574
lamda-calculus.agda~ 27-May-2020 12:41 0
loltype.agda 19-Apr-2021 03:45 3024
loltype.agdai 19-Apr-2021 02:50 61619
loltype.agda~ 19-Apr-2021 02:03 42
maximal-ideals.agda 09-Jun-2020 19:25 3425
maximal-ideals.agdai 26-May-2020 09:41 112337
maximal-ideals.agda~ 01-Jun-2020 21:04 3076
maximax.agda 14-Feb-2022 18:16 8715
maximax.agdai 14-Feb-2022 17:47 338773
maximax.agda~ 14-Feb-2022 16:08 7037
padova-session02.agda 22-Apr-2021 14:13 7259
reflection.agda 01-Jul-2020 12:24 1851
reflection.agdai 01-Jul-2020 12:24 74025
reflection.agda~ 01-Jul-2020 11:07 880
schemes.agda 08-Jun-2020 06:00 5120
schemes.agdai 08-Jun-2020 02:51 136246
schemes.agda~ 08-Jun-2020 03:20 3646
session06.agda 12-May-2021 14:41 5881
setoids-test.agda 03-Jun-2020 11:12 8031
setoids.agda 03-Jun-2020 14:19 10744
setoids.agdai 03-Jun-2020 12:26 47863
setoids.agda~ 03-Jun-2020 12:25 4195
signature.agda 07-Jun-2020 10:45 3307
signature.agdai 07-Jun-2020 10:22 47816
signature.agda~ 07-Jun-2020 09:23 57
slides.pdf 29-Apr-2020 11:18 1708076
test.agda 29-Nov-2021 08:19 149
test.agdai 12-Feb-2022 16:05 25258
test.agda~ 28-Nov-2021 22:44 117
uf-maximal-ideals.agda 04-Dec-2021 01:42 1267
uf-maximal-ideals.agdai 04-Dec-2021 01:40 71931
uf-maximal-ideals.agda~ 04-Dec-2021 00:42 33