Dana @liesnikov@types.pl

pronouns: he/they

name 🇺🇦: Богдан Лєсніков

website: https://github.com/liesnikov

Doing a PhD in type theory at TU Delft.

Joined Nov 2022

150 Following 81 Followers

The Haskell Foundation @haskell_foundation@mastodon.social

Arthur Charpentier @freakonometrics@mastodon.social

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Ayberk Tosun @ayberkt@mathstodon.xyz

Typelevel @typelevel@fosstodon.org

jules @jules@types.pl

Loïc @typeintype@types.pl

mattam @mattam@types.pl

nerdslayer @palvaro@discuss.systems

Aron Zwaan @aron_zwaan@akademienl.social

Chris Grossack @hallasurvivor@sunny.garden

Azul @typeswitch@gamedev.lgbt