lyxia @lyxia@mamot.fr

Blog: https://blog.poisson.chat

Home: https://poisson.chat

Github: https://github.com/Lysxia

Gitlab: https://gitlab.com/lysxia

Haskell and Coq programmer

Joined Dec 2019

31 Following 73 Followers

自然男孩瑞克·弗莱尔宁 @hm@raru.re

Miaourt @Miaourt@raru.re

William J. Bowman @wilbowma@mastodon.social

FluffyKittenSpamBot @fluffykittenspambot@mastodon.bida.im

Hécate @hecate@pleroma.fr

TAH @TheAspiringHacker@functional.cafe

iitalics ❤💜💙 @iitalics@cybre.space

Andrew Miloradovsky @amiloradovsky@functional.cafe

bthom @bthom@mastodon.mit.edu

bandali @bandali@pleroma.site

lthms @lthms@mastodon.social

Alan Zimmerman @alanz@social.coop