~kaction/dhall-openapi

Dhall types of OpenAPI-3.0
770277ef — Dmitry Bogatov 8 months ago
Upgrade flake-dhall: r1 -> r2
db7d8b58 — Dmitry Bogatov 8 months ago
OpenAPI.dhall: export missing constructors
2c5d10db — Dmitry Bogatov 8 months ago
Initial commit

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~kaction/dhall-openapi
read/write
git@git.sr.ht:~kaction/dhall-openapi

You can also use your local clone with git send-email.