HigherOrderCO HVM Ideas · Discussions · GitHub

Welcome to HVM Discussions!
Announcements steinerkelvin

Sort by: Latest activity

Categories

Ideas Discussions

Share ideas for new features

You must be logged in to vote

for-loops

Karilli started May 18, 2024 in Ideas

0
You must be logged in to vote

Thoughts about supercompilation and optimal reduction

hirrolot started Dec 22, 2023 in Ideas

0
You must be logged in to vote

Deno-like Execution Environment and Ecosystem

zicklag started Mar 15, 2023 in Ideas

3
You must be logged in to vote

A path to a verified HVM

rigille started May 19, 2022 in Ideas

10
You must be logged in to vote

A lambda calculus for the HVM

August-Alm started Mar 11, 2022 in Ideas

1
You must be logged in to vote

standard IO?

ken-okabe started Jan 27, 2022 in Ideas

1