Skip to content

Support placeholder holes and prompt for implicit values when needed #115

Merged
istathar merged 8 commits into
technique-lang:mainfrom
istathar:more-ui-tweaks
Jun 16, 2026
Merged

Support placeholder holes and prompt for implicit values when needed #115
istathar merged 8 commits into
technique-lang:mainfrom
istathar:more-ui-tweaks

Parse variable holes and type wildcards

12500b9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and Test
succeeded Jun 15, 2026 in 11s