search

ccfontes / faas-idris2

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

Support other Idris 2 code generators #5

Closed ccfontes closed 1 year ago

ccfontes commented 1 year ago

Support more Idris 2 code generators. For starters:

ccfontes commented 1 year ago

Split into #13 and #14.