@jiribenes.com
Interested in effect and coeffect systems, PhD student at University of Tübingen. Website: https://jiribenes.com Mastodon: https://types.pl/@jiribenes
