Comunidade de matemática computacional e programação.
Somos uma comunidade focada em estudos sobre: • Homotopy Type Theory • Lambda-calculus • Topologia algébrica/geral • Filosofia • Hegelianismo • Programação/ linguagens funcionais • Haskell
Obs: Estudamos várias outras coisas também, mas esses são os principais.
Nossa comunidade não tem pessoas arrogantes, então não precisa ter medo de pedir ajuda. Iremos ajudar no nosso possível. Se quiser estudar com a gente, você é bem-vindo(a)
