/faas-idris2

An OpenFaaS template for writing Functions in Idris 2.

Primary LanguageDockerfileMIT LicenseMIT

Issues