Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
