GitHub repository: running-grass/idris2-pact
Primary language: Idris
Description: A type-safe Servant-like web framework