Refurio Anachro is a user on 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.

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:

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