patrikja.bsky.social
@patrikja.bsky.social
Prof. of Computer Science @ Chalmers | Haskell + Agda | From DSLs & parametricity to climate policy modeling | Bridging big ideas with formal details.
No videos yet.