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 message	Last commit date
Latest commit History 59 Commits
.github/workflows		.github/workflows
Rinha		Rinha
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile		Dockerfile
Main.lean		Main.lean
README.md		README.md
Rinha.lean		Rinha.lean
docker-compose.yml		docker-compose.yml
entrypoint.sh		entrypoint.sh
init.sql		init.sql
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
nginx.conf		nginx.conf

Provide feedback