Miëtek Bak

PhD student

e-mail: hidden
IRC: mietek, ##dependent, libera.chat
fediverse: @mietek@types.pl

Work in progress
Agda development; source repository

Research interests

Publications