Rinha
🧪 | Rinha de Backend Lean4
Install / Use
/learn @aripiprazole/RinhaREADME
Submissão Rinha de Backend
Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.
🧪 | Rinha de Backend Lean4
/learn @aripiprazole/RinhaUsamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.
