Skip to content

[ refactor ] Port Yaffle's Value#3754

Draft
GulinSS wants to merge 39 commits into
idris-lang:mainfrom
GulinSS:core-evaluate-value/all
Draft

[ refactor ] Port Yaffle's Value#3754
GulinSS wants to merge 39 commits into
idris-lang:mainfrom
GulinSS:core-evaluate-value/all

Commits

Commits on Jun 15, 2026

Commits on Jun 30, 2026

Commits on Jul 3, 2026

Commits on Jul 8, 2026

Commits on Jul 10, 2026

Commits on Jul 14, 2026