search

ccfontes / faas-idris2

An OpenFaaS template for writing Functions in Idris 2.
MIT License
2 stars 0 forks source link

Simplify codegen config w/ one codegen entry #26

Closed ccfontes closed 1 year ago