AI C Category_Theory Conferences Coq Haskell Homotopy_Type_Theory Lambda_Calculus Lean Lenses Math Metaprogramming Monads Other Project_Euler Proof_Assistants Python Statistics Template_Haskell Univalence