Submissão Rinha de Backend
Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
Usamos Lean4 e C++ para fazer o servidor, e PostgreSQL para database. O mundo precisa de monads.