11 lines
310 B
Idris
11 lines
310 B
Idris
||| "order preserving embeddings", for recording a correspondence between
|
|
||| a smaller scope and part of a larger one.
|
|
module Quox.OPE
|
|
|
|
import public Quox.OPE.Basics
|
|
import public Quox.OPE.Length
|
|
import public Quox.OPE.Sub
|
|
import public Quox.OPE.Split
|
|
import public Quox.OPE.Comp
|
|
import public Quox.OPE.Cover
|