This website requires JavaScript.
Explore
Help
Sign In
HigherOrderCO
/
Bend
Watch
1
Star
1
Fork
0
You've already forked Bend
mirror of
https://github.com/HigherOrderCO/Bend.git
synced
2024-10-26 14:05:36 +03:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
0.2.13
Bend
/
rust-toolchain.toml
5 lines
98 B
TOML
Raw
Permalink
Normal View
History
Unescape
Escape
Initial commit of hvm-lang with basic parser
2023-08-29 23:43:01 +03:00
[
toolchain
]
profile
=
"minimal"
Make hvm lang compatible with ptr refactor [sc-362] Add `HVM.log` and `HVM.black_box`, together with their documentation. Add basic CLI support for limiting rewrites. Trimming names and adapting them for hvm-core is not necessary anymore. Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed. Make `Ctx` and `compile_book` take a mutable borrow of `Book`. Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60
2024-02-22 20:57:58 +03:00
channel
=
"nightly-2024-01-27"
Initial commit of hvm-lang with basic parser
2023-08-29 23:43:01 +03:00
components
=
[
"rustfmt"
,
"clippy"
]
Reference in New Issue
Copy Permalink