~lachrimae

professional-website

My website for my professional portolio and academic bio

linear-server

A very simple server to demonstrate what using linear types looks like

Activity

1fe160b fix typo

7 months ago via professional-website

6edd0df update favicon

7 months ago via professional-website

399367a clarify goal

7 months ago via professional-website

3591af0 improve navbar centering

7 months ago via professional-website

811a913 improve styling for small screens

7 months ago via professional-website

d01d94f add type annotations to function

7 months ago via professional-website

192ac62 improve csp wording

7 months ago via professional-website

cd68c70 improve wording

7 months ago via professional-website

b17b3a2 improve wording

7 months ago via professional-website

8d829ff improve wording

7 months ago via professional-website

999e09a remove contact page from navbar

7 months ago via professional-website

ba03729 remove weird stuff

7 months ago via professional-website

4a68777 remove contact page

7 months ago via professional-website

1739b2b improve brevity

7 months ago via professional-website

ed444fb update website

7 months ago via professional-website
1 / 5