Skip to content

Add Lambda Core in native HTML and CSS - #32

Open
kserrec wants to merge 2 commits into
mainfrom
html-css
Open

Add Lambda Core in native HTML and CSS#32
kserrec wants to merge 2 commits into
mainfrom
html-css

Conversation

@kserrec

@kserrec kserrec commented Aug 10, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a self-contained Lambda Core implementation using only native HTML and CSS
  • encode Church booleans through CSS branch selection and Church numerals through CSS counters
  • demonstrate TRUE, FALSE, NOT, AND, OR, ZERO, SUCC, PRED, and ONE
  • render the implementation in headless Google Chrome and compare its observed output with a checked-in baseline
  • install poppler-utils in CI so pdftotext can observe the browser-rendered text

The implementation contains no JavaScript, SVG, external resources, generated source, or browser extension code.

Testing

  • sh languages/h/html-css/test.sh
  • sh run-tests.sh

Local harness result: PASS h/html-css; 10 passed, 0 failed, 6 skipped because their toolchains are unavailable locally, and 1 pre-existing Java baseline remains pending.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant