1. 7
    1. 3

      I hope some people submit talks about formal languages or type checkers or kinds of formal logic systems or how to think of types as something which isn’t sets.

      1. 2

        I was considering sending a proposal to present FreeSpec, but I couldn’t find what guidelines these proposals shall comply with :\.

        1. 1

          Aren’t the guidelines nicely described in the linked page? Topics and formats are there. There’s also a LambdaConf chatroom and proposal review group on the FP slack, if you’d like to ask questions there.