Michael Mroz's Avatar

Michael Mroz

@mroz.io.bsky.social

Ostensibly a software engineer specializing in correctness-critical systems, but I think of myself more as a logician and translator. Writer of Haskell. Into abstraction and extensibility. Cat and type theory enthusiast. Recreational skier and photog.

20
Followers
23
Following
9
Posts
07.08.2023
Joined
Posts Following

Following (23)