HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-17 14:47:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix missing delimiter

Browse Source
This commit is contained in:
imaqtkatt 2024-05-07 14:17:01 -03:00
parent 73b57c40b7
commit 88b711b930
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/term/transform/apply_bnd.rs
View File

@ -60,7 +60,7 @@ impl Term {
}
fn make_fun_name(typ: &mut Name) -> Name {
Name::new(format!("{typ}/bind")
Name::new(format!("{typ}/bind"))
}
impl fmt::Display for MonadicBindError {