Profile directory About Mobile apps
Log in Sign up

PureFunctor @purefunctor@types.pl

197 Toots
22 Following
33 Followers
Follow
Languages
English/Filipino
Projects
https://github.com/PureFunctor
Birth Year
2003

i like compilers and type systems in the functional programming space, rhythm games, j-core music, and seiyuus.

still working on my cs undergrad, but that doesn't really stop me from doing more stuff.

core collaborator to the PureScript compiler.

he/him

Joined Apr 2022
22 Following 33 Followers
melanie @melanie@types.pl
dawn @dawn@types.pl
Amy @amy@types.pl
to⟁st⟁l @toastal@cybre.space
david @david@types.pl
David Gregory @dgregory@mastodon.online
Haskman @haskman@functional.cafe
Rob Rix @robrix@types.pl
Colin @csgordon@types.pl
Aaron Moss @bruceiv@types.pl
Stephen @spdegabrielle@types.pl
Sierra 🏳️‍⚧️🏳️‍🌈🐧 @sierra@types.pl
1 2 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.4.6+types

More…

  • Source code
  • Mobile apps