9.9. Lazy Computations

Planned Content

Description and API reference for Thunk:

  • Logical model as wrapper around a function from Unit

  • Run-time realization as a lazy computation

  • API reference

Tracked at issue #92