#lang racket/base
;;______________________________________________________________
;;                   ______ 
;;                  (  //   _____ ____   .  __  __
;;                   ~//~ ((_)// // / / // ((_ ((_/_
;;                 (_//
;;..............................................................
;; Provides formica/regular-app module.
;;==============================================================
(define-namespace-anchor anch)
(define formica-namespace (namespace-anchor->namespace anch))
(define eval*
  (case-lambda
    [(expr) (eval expr formica-namespace)]
    [(expr n) (eval expr n)]))

(require racket/list
         racket/math
         racket/promise
         racket/string)

(provide
 (except-out (all-from-out
              racket/base
              racket/list
              racket/math
              racket/promise
              racket/string)
             procedure? lazy delay eval)
 (rename-out [procedure? function?]
             [lazy delay]
             [eval* eval]))

(require "../tools.rkt"
         "formal.rkt"
         (except-in "../rewrite.rkt" +)
         "../tacit.rkt"
         "../memoize.rkt"
         "../types.rkt"
         "../monad.rkt")
(provide 
  (all-from-out "../tools.rkt"
                "formal.rkt"
                "../rewrite.rkt"
                "../tacit.rkt"
                "../memoize.rkt"
                "../types.rkt"
                "../monad.rkt"))
______________________________________________________________
                   ______ 
                  (  //   _____ ____   .  __  __
                   ~//~ ((_)// // / / // ((_ ((_/_
                 (_//
..............................................................
 Provides formica/regular-app module.
==============================================================
#lang racket/base
(define-namespace-anchor anch)
(define formica-namespace (namespace-anchor->namespace anch))
(define eval*
  (case-lambda
    [(expr) (eval expr formica-namespace)]
    [(expr n) (eval expr n)]))

(require racket/list
         racket/math
         racket/promise
         racket/string)

(provide
 (except-out (all-from-out
              racket/base
              racket/list
              racket/math
              racket/promise
              racket/string)
             procedure? lazy delay eval)
 (rename-out [procedure? function?]
             [lazy delay]
             [eval* eval]))

(require "../tools.rkt"
         "formal.rkt"
         (except-in "../rewrite.rkt" +)
         "../tacit.rkt"
         "../memoize.rkt"
         "../types.rkt"
         "../monad.rkt")
(provide 
  (all-from-out "../tools.rkt"
                "formal.rkt"
                "../rewrite.rkt"
                "../tacit.rkt"
                "../memoize.rkt"
                "../types.rkt"
                "../monad.rkt"))