Julien M. · @julm
486 followers · 4935 posts · Server framapiaf.orgNew #IRC channel:
> #plt: Friendly and informal discussions of #programming language theory
ircs://irc.libera.chat/#plt
https://web.libera.chat/gamja/#plt
#FunctionalProgramming #ConstructiveLogic #TheoremProving #CategoryTheory #TypeTheory #CompilerConstruction #TypeSystems
#Haskell #PureScript #OCaml #Lisp #Erlang #Scheme ...
#scheme #erlang #lisp #ocaml #purescript #haskell #typesystems #CompilerConstruction #typetheory #categorytheory #TheoremProving #ConstructiveLogic #functionalprogramming #programming #plt #irc