search

ccfontes / faas-idris2

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

Support Racket codegen w/ hello world Fn example #22

Closed ccfontes closed 1 year ago