miser

The Miser Project
λ Applicative Function Abstraction

miser> obap>



index>
0.0.0 2024-01-25T17:26Z

Initial Placeholder

The abstraction of functions from oMiser applicative procedures is developed as an oMiser applicative procedure itself. oMiser is sufficiently low-level, and the ob.ap function sufficiently universal, that lambda abstraction is implementable as an oMiser applicative procedure.

The derivation of ^lambda and of the companion, ^rec, is carried out and carefully demonstrated because of its importance in useful formulations of oFrugal procedures.

Catalog (Specimen, LYYMMNN Content TBD)

This placeholder links to raw materials and notes, including text files. There will be organized folios of content as consolidation of documentation on the web progresses.

ID Status Started Topic
c000000 undated 2024-01-25 Construction Diary & Job Jar

I invite discussion about Miser Project topics in the Discussion section. Improvements and removal of defects in this particular documentation can be reported and addressed in the Issues section. There are also relevant projects from time to time.

Hard Hat Area You are navigating the Miser Project on Github

created 2024-01-25 by orcmid