Skip to content

Merge pull request #324 from KERNlang/goal/phb-remaining#326

Merged
cukas merged 2 commits into
mainfrom
dev
May 27, 2026
Merged

Merge pull request #324 from KERNlang/goal/phb-remaining#326
cukas merged 2 commits into
mainfrom
dev

Conversation

@cukas
Copy link
Copy Markdown
Contributor

@cukas cukas commented May 27, 2026

feat(python): portable host-builtin layer (Math/String/Object/Array/Date/Number) — differentially verified

What

Why

How

Checklist

  • tsc -b passes
  • pnpm test passes
  • pnpm test:kern passes
  • pnpm lint passes
  • kern review packages/ --recursive checked

cukas added 2 commits May 27, 2026 06:59
feat(python): portable host-builtin layer (Math/String/Object/Array/Date/Number) — differentially verified
@cukas cukas merged commit d8759d3 into main May 27, 2026
6 checks passed
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