Olivia Weston's Projects
Personal website in Haskell using the Slick framework & template.
Following along the paper 'Bidirectional Typing' by Dunfield & Krishnaswami
SvelteKit web application showing off the Dynga language.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Repository for my master's project artifact, with revisions.
A LaTeX template for Středoškolská odborná činnosť thesis
Implementation of Simply Typed Liv Calculus