<p>i want to import : <code>IntOrString</code> from dhall kubernetes,
<a href="https://github.com/dhall-lang/dhall-kubernetes/blob/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall;" rel="nofollow noreferrer">https://github.com/dhall-lang/dhall-kubernetes/blob/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall;</a>
but i don't know how to import it?,</p>
<p>i have this code :</p>
<pre><code>let kubernetes =
      https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall
let Prelude =https://prelude.dhall-lang.org/package.dhall
</code></pre>

javier_orta
<p>You can either import it directly:</p>
<pre><code>let IntOrString = https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/1.19/types/io.k8s.apimachinery.pkg.util.intstr.IntOrString.dhall

…
</code></pre>
<p>… or access it as a field of the <code>kubernetes</code> package:</p>
<pre><code>let kubernetes =
      https://raw.githubusercontent.com/dhall-lang/dhall-kubernetes/master/package.dhall

in  kubernetes.IntOrString
</code></pre>
