Bjarki's Website

bjarki.neocities.org

4,857 views
0 followers
364 updates
0 tips
Share
bjarki updated their site.
7 months ago
agda screenshot agda
agda/State screenshot agda/State
agda/Monoidal screenshot agda/Monoidal
agda/Kleisli screenshot agda/Kleisli
agda/Concurrent screenshot agda/Concurrent
agda/Adjoint screenshot agda/Adjoint
programming screenshot programming
music screenshot music
index screenshot index

Website Stats

Last updated 3 weeks ago
CreatedAug 1, 2024

Tags

math programming logic cooking algebra