~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

4 months ago via professional-website

6edd0df update favicon

4 months ago via professional-website

399367a clarify goal

4 months ago via professional-website

3591af0 improve navbar centering

4 months ago via professional-website

811a913 improve styling for small screens

4 months ago via professional-website

d01d94f add type annotations to function

4 months ago via professional-website

192ac62 improve csp wording

4 months ago via professional-website

cd68c70 improve wording

4 months ago via professional-website

b17b3a2 improve wording

4 months ago via professional-website

8d829ff improve wording

4 months ago via professional-website

999e09a remove contact page from navbar

4 months ago via professional-website

ba03729 remove weird stuff

4 months ago via professional-website

4a68777 remove contact page

4 months ago via professional-website

1739b2b improve brevity

4 months ago via professional-website

ed444fb update website

4 months ago via professional-website
1 / 5