ccfontes / faas-idris2

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

Support Racket codegen #14

Closed ccfontes closed 1 year ago