search

ccfontes / faas-idris2

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

Support JVM codegen #13

Open ccfontes opened 1 year ago

ccfontes commented 1 year ago

Codegen: https://github.com/mmhelloworld/idris-jvm

Pack support pending issue: github.com/stefan-hoeck/idris2-pack#146