Refurio Anachro is a user on mathstodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

#introductions
Hi all. I'm a master student of computer science and deeply interested in mathematical logic, category theory and functional programming. At the moment i am looking for a programming project to participate in. Possibly #Haskell, #Lisp. Love #Emacs.

Refurio Anachro @RefurioAnachro

Hi, @hyperlingg , have a look at John Baez' free and open on-line course on category theory! I'd say here is a good starting point:

forum.azimuthproject.org/discu

Hi @RefurioAnachro , thanks for the pointer! Much appreciated. I will have a look.