Amélia Liao - Shamiko Gitea

Amélia Liao amelia

https://amelia.how
Joined on Feb 08, 2021

Loading Heatmap…

amelia deleted branch master from amelia/blag

1 year ago

amelia pushed to main at amelia/blag

21bc57abd4 Reinit

1 year ago

amelia pushed to master at amelia/blag

1 year ago

amelia pushed to master at amelia/agda-reference-filter

082b5576e7 look for references in divs
21488b3cd0 Look for tags inside HTML comments
1627cb7adc Look for tags inside HTML comments
b9e2fd2589 hotfix: pre → span
feea86f742 hotfix: pre → span
Compare 11 commits »

1 year ago

amelia pushed to main at amelia/agda-fold-equations

509bc02120 initial commit

1 year ago

amelia created repository amelia/agda-fold-equations

1 year ago

amelia pushed to master at amelia/cubical

939901b890 Check in more experiments I had locally
a80e724dd8 Check in more experiments I had locally
3ac09b0811 Major refactoring of intro.tt + π₁(S¹)
ec01798d27 Major refactoring of intro.tt + π₁(S¹)
a80b5fc2d8 Remove `(φ = i0) as p` syntax + clean up proof of univalence + formalise theorems 4.7.6, 4.7.7, 7.2.2
Compare 80 commits »

1 year ago

amelia pushed to master at amelia/cubical

939901b890 Check in more experiments I had locally
3ac09b0811 Major refactoring of intro.tt + π₁(S¹)
a80b5fc2d8 Remove `(φ = i0) as p` syntax + clean up proof of univalence + formalise theorems 4.7.6, 4.7.7, 7.2.2
d583216120 Rearrange definitions in example code
4557ebb5d4 Some fixes to prove univalence
Compare 28 commits »

1 year ago

amelia pushed to master at amelia/irc-log-viewer

a4cd401e2a Add width and height attributes to profile images

1 year ago

amelia pushed to main at amelia/agda-unused-imports

862a42ab23 Initial commit

1 year ago

amelia created repository amelia/agda-unused-imports

1 year ago

amelia pushed to master at amelia/agda-reference-filter

21488b3cd0 Look for tags inside HTML comments

2 years ago

amelia pushed to master at amelia/agda-reference-filter

b9e2fd2589 hotfix: pre → span

2 years ago

amelia pushed to master at amelia/agda-reference-filter

296e68025b Allow control of span linking

2 years ago

amelia pushed to master at amelia/cubical

b1478b6768 update

2 years ago

amelia pushed to master at amelia/layout-parser

0976be07fc first commit

2 years ago

amelia created repository amelia/layout-parser

2 years ago

amelia pushed to master at amelia/blag

d4a8d4ddd1 fijsdoksdlafjsadf

2 years ago

amelia pushed to master at amelia/irc-log-viewer

660135c060 parse redactions

2 years ago

amelia pushed to master at amelia/irc-log-viewer

0a6f03ea1d parse day changes and keep parse errors

2 years ago