27 lines
805 B
Racket
27 lines
805 B
Racket
#lang scribble/manual
|
|
@(require scribble/example racket/sandbox
|
|
(for-label typed/racket/base "../functions.rkt"))
|
|
|
|
@title[#:tag "functions"]{dds/functions: Formal Functions}
|
|
|
|
@defmodule[dds/functions]
|
|
|
|
This modules provides some definitions for working with functions: tabulating,
|
|
(re)constructing from tables, generating random functions, etc.
|
|
Some definitions of particular kinds of functions are also provided (threshold
|
|
Boolean functions, etc.).
|
|
|
|
@(define functions-evaluator
|
|
(parameterize ([sandbox-output 'string]
|
|
[sandbox-error-output 'string]
|
|
[sandbox-memory-limit 50])
|
|
(make-evaluator 'typed/racket #:requires '((submod "functions.rkt" typed)))))
|
|
|
|
@section{Tabulating functions}
|
|
|
|
@section{Constructing functions}
|
|
|
|
@section{Random functions}
|
|
|
|
@section{Threshold Boolean functions}
|