GitHub repository: rafaelRiv/idris2-wai
Primary language: Idris
Description: Port of haskell wai (Web application interface) to idris