#Submissão Rinha de Backend

Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.