Key

Not instrumented

Conditionalized out

Executed

Not executed

Both branches taken

One branch taken

Neither branch taken

1

(uiop:define-package #:geb.lambda.experimental

2

(:documentation "A basic lambda calculus model")

3

(:mix #:trivia #:serapeum #:common-lisp)

4

(:export

5

:curry-lambda :nameless

6

7

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

8

;; Internal Data Structure Exports

9

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

10

#:context #:make-context #:context-p #:context-depth :context-mapping

11

#:index #:make-index #:index-p #:index-depth))