user1005: Revisiting Plutus pioneer code, I see Ledger-related code e.g.
ScriptContext Plutus.V1.Ledger.Contexts or Interval Plutus.V1.Ledger.Interval. Is there a github repo equivalent for Ledger Constraints? Why are some code on github and some on haddock?

user2537: The repos are these:
https://github.com/input-output-hk/plutus
https://github.com/input-output-hk/plutus-apps
You can import Interval, Contexts, and Constraints like this:
import Ledger.Constraints
import Ledger.Contexts
import Ledger.Interval

In the cabal file you would add them like this:
build-depends: ...
             , plutus-ledger
             , plutus-ledger-constraints


1005: <p>Revisiting Plutus pioneer code, I see Ledger-related code e.g.
ScriptContext <a href="https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Contexts.hs" rel="nofollow noreferrer">Plutus.V1.Ledger.Contexts</a> or Interval <a href="https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/Plutus/V1/Ledger/Interval.hs" rel="nofollow noreferrer">Plutus.V1.Ledger.Interval</a>. Is there a github repo equivalent for <a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-constraints/html/Ledger-Constraints-TxConstraints.html#v:icRedeemer" rel="nofollow noreferrer">Ledger Constraints</a>? Why are some code on github and some on haddock?</p>
 2537: <p>The repos are these:</p>
<p><a href="https://github.com/input-output-hk/plutus" rel="nofollow noreferrer">https://github.com/input-output-hk/plutus</a></p>
<p><a href="https://github.com/input-output-hk/plutus-apps" rel="nofollow noreferrer">https://github.com/input-output-hk/plutus-apps</a></p>
<p>You can import Interval, Contexts, and Constraints like this:</p>
<pre><code>import Ledger.Constraints
import Ledger.Contexts
import Ledger.Interval
</code></pre>
<p>In the cabal file you would add them like this:</p>
<pre><code>build-depends: ...
             , plutus-ledger
             , plutus-ledger-constraints
</code></pre>
