thautwarm / Quick-Backend

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
24Updated 4 years ago

Related projects

Alternatives and complementary repositories for Quick-Backend