The Miser Project |
miser>
obap>
index>
0.0.0 2024-01-25T17:26Z |
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.
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.
You are navigating the Miser Project on Github |
created 2024-01-25 by orcmid |