-
Notifications
You must be signed in to change notification settings - Fork 424
Issues: HigherOrderCO/Bend
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Potential bug with float combinators pass
bug
Something isn't working
help wanted
Extra attention is needed
#721
opened Sep 27, 2024 by
developedby
The children iterators stop at Term::Def variants
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#719
opened Sep 23, 2024 by
developedby
References with names bound by a match term are not shadowed
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#718
opened Sep 20, 2024 by
developedby
ERROR: attempt to clone a non-affine global reference
bug
Something isn't working
#709
opened Sep 6, 2024 by
angeloocana
Add benchmark runs to the github actions
enhancement
New feature or request
tests
#704
opened Sep 4, 2024 by
developedby
HVM inline pass not inlining definitions that have hvm variable indirections.
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#703
opened Sep 4, 2024 by
developedby
HOAS evaluator of Interaction Calculus returns wrong result when computing 2^2
#702
opened Sep 3, 2024 by
VictorTaelin
String/decode_utf8 returns "\0" when decoding a empty List
bug
Something isn't working
#701
opened Aug 29, 2024 by
LunaAmora
Implement List/sum and List/range functions in Bend built-ins
enhancement
New feature or request
#695
opened Aug 22, 2024 by
Sipher
Document existing IO functionalities
documentation
Improvements or additions to documentation
enhancement
New feature or request
Document single-line and multi-line commenting for Bend users
documentation
Improvements or additions to documentation
enhancement
New feature or request
#692
opened Aug 21, 2024 by
kings177
Add all compiler options to documentation
documentation
Improvements or additions to documentation
enhancement
New feature or request
#690
opened Aug 21, 2024 by
developedby
Add IO function for calling subprocesses
enhancement
New feature or request
prelude
Bend's builtin types and functions
Add IO functions for moving files and directories
enhancement
New feature or request
prelude
Bend's builtin types and functions
Implement type system for Bend
compilation
Compilation of terms and functions to HVM
enhancement
New feature or request
#679
opened Aug 19, 2024 by
kings177
16 tasks done
Previous Next
ProTip!
Follow long discussions with comments:>50.