;;; *************************************************************************
;;; Copyright (c) 1985, 1986, 1987, 1988, 1989, 1990 Xerox Corporation.
;;; All rights reserved.

(defun with-augmented-environment-internal (env functions macros)
  (dolist (f functions)
    (push (list* f 'function (gensym)) env))
  (dolist (m macros)
    (push (list* (car m) 'ccl::macro (cadr m)) env))
  env)

@@ -7,1 +7,1 @@

+(dolist (f functions)
-(dolist (m macros)

# NAVI

The **Knowledge Navigator**, or **NAVI** for short, is a series of high-powered computers designed for users to easily access the [Wired](https://lain.wiki/wiki/The_Wired).

While some aren't pretty to look at, they are unmistakably powerful. NAVIs can come in almost any shape or form.

## List of NAVIs

- Alice's NAVI
- Lain's NAVI

> This was copied from lain.wiki/wiki/NAVI

<main id="navi">
  <div class="ui" data-version="4.0">
    <article>mebious.co.uk</article>
    <article>PHANTOMa</article>
    <!-- ... -->
  </div>
</main>

#navi .ui[data-version="4.0"]:only-child {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  width: 100%;
}