===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
agda-stdlib-1.3/CHANGELOG/v0.14.md-160-
agda-stdlib-1.3/CHANGELOG/v0.14.md:161:* New call-by-value application combinator `_$!_` in `Function`.
agda-stdlib-1.3/CHANGELOG/v0.14.md-162-
##############################################
agda-stdlib-1.3/CHANGELOG/v0.17.md-320-
agda-stdlib-1.3/CHANGELOG/v0.17.md:321:* In `Function` the precedence level of `_$_` (and variants) has been changed to `-1`
agda-stdlib-1.3/CHANGELOG/v0.17.md:322:  in order to improve its interaction with `_∋_` (e.g. `f $ Maybe A ∋ do (...)`).
agda-stdlib-1.3/CHANGELOG/v0.17.md-323-
##############################################
agda-stdlib-1.3/notes/installation-guide.md-5-
agda-stdlib-1.3/notes/installation-guide.md:6:1. Navigate to a suitable directory `$HERE` (replace appropriately) where
agda-stdlib-1.3/notes/installation-guide.md-7-   you would like to install the library.
##############################################
agda-stdlib-1.3/notes/installation-guide.md-31-5. Register the standard library with Agda's package system by adding
agda-stdlib-1.3/notes/installation-guide.md:32:   the following line to `$HOME/.agda/libraries`:
agda-stdlib-1.3/notes/installation-guide.md-33-   ```
##############################################
agda-stdlib-1.3/notes/installation-guide.md-36-
agda-stdlib-1.3/notes/installation-guide.md:37:6. [ OPTIONAL ] To use the standard library in your project `$PROJECT`,
agda-stdlib-1.3/notes/installation-guide.md:38:   put a file `$PROJECT.agda-lib` file in the project root containing:
agda-stdlib-1.3/notes/installation-guide.md-39-   ```
##############################################
agda-stdlib-1.3/notes/installation-guide.md-42-   ```
agda-stdlib-1.3/notes/installation-guide.md:43:   where `$DIRS` is a list of directories where Agda
agda-stdlib-1.3/notes/installation-guide.md-44-   searches for modules, for instance `.` (just the project root).
##############################################
agda-stdlib-1.3/notes/installation-guide.md-46-7. [ OPTIONAL ] If you want to refer to the standard library in all your
agda-stdlib-1.3/notes/installation-guide.md:47:   projects, add the following line to `$HOME/.agda/defaults`
agda-stdlib-1.3/notes/installation-guide.md-48-   ```
##############################################
agda-stdlib-1.3/src/Data/Container/Relation/Unary/Any/Properties.agda-309-    ◇ C₁ (◇ C₂ P) xss       ∎
agda-stdlib-1.3/src/Data/Container/Relation/Unary/Any/Properties.agda:310:    where xss′ = Inverse.from (Composition.correct C₁ C₂) ⟨$⟩ xss