Optimized popcnt with AVX2Jul 11, 2024

Cross compiling RustJun 30, 2024

Hello world (typst edition)Jun 30, 2024

Stacking ExceptT and StateT in HaskellNov 14, 2023

Vectors in AgdaOct 30, 2023

Getting started with Agda on KateOct 20, 2023

Hello world!Aug 26, 2023