Idris2Doc : Stellar.API

Stellar.API

(source)
Reexports
import public Stellar.Ops
import public Stellar.API.Definition as API
import public Stellar.API.Morphism as API
import public Data.Product
import public Data.Coproduct
import public Data.Sigma