Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / higherorderco/bend issues and pull requests
#100 - [sc-311] fix ref to ref removal pass
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 3 comments
#100 - [sc-311] fix ref to ref removal pass
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 3 comments
#99 - [sc-325] Fix documentation for string syntax
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#99 - [sc-325] Fix documentation for string syntax
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#98 - [sc-313] Improve compile-time reduction pass
Pull Request -
State: closed - Opened by developedby 10 months ago
- 1 comment
#98 - [sc-313] Improve compile-time reduction pass
Pull Request -
State: closed - Opened by developedby 10 months ago
- 1 comment
#97 - Use format macro
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
#97 - Use format macro
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
#96 - [sc-319] Add repl mode to hvml
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#96 - [sc-319] Add repl mode to hvml
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#95 - [sc-305] Simplify the generated encoding for pattern matching
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 1 comment
#95 - [sc-305] Simplify the generated encoding for pattern matching
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 1 comment
#94 - Improve documentation and write some tutorials.
Pull Request -
State: closed - Opened by FranchuFranchu 10 months ago
- 2 comments
#94 - Improve documentation and write some tutorials.
Pull Request -
State: closed - Opened by FranchuFranchu 10 months ago
- 2 comments
#93 - [sc-316] Add hvml string syntax to readme
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#93 - [sc-316] Add hvml string syntax to readme
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#92 - Update deps to remove zerocopy unsoundness
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
#92 - Update deps to remove zerocopy unsoundness
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
#91 - [sc-315] Add support for matching on any term
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 1 comment
#91 - [sc-315] Add support for matching on any term
Pull Request -
State: closed - Opened by LunaAmora 10 months ago
- 1 comment
#90 - [sc-312] Improve explanation about lambdas and applications
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#90 - [sc-312] Improve explanation about lambdas and applications
Pull Request -
State: closed - Opened by imaqtkatt 10 months ago
- 1 comment
#89 - [sc-307] Add string syntax to hvml
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
- 1 comment
#89 - [sc-307] Add string syntax to hvml
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
- 1 comment
#88 - Added brackets to scopeless lambda term
Pull Request -
State: closed - Opened by N0lim 11 months ago
- 1 comment
#88 - Added brackets to scopeless lambda term
Pull Request -
State: closed - Opened by N0lim 11 months ago
- 1 comment
#87 - Fix tuple defs applications
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
#87 - Fix tuple defs applications
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
#86 - [sc-304] Refactor pattern matching code, change Num patterns
Pull Request -
State: closed - Opened by developedby 11 months ago
- 2 comments
#86 - [sc-304] Refactor pattern matching code, change Num patterns
Pull Request -
State: closed - Opened by developedby 11 months ago
- 2 comments
#85 - Make adts with fields compatible with vectorization
Pull Request -
State: closed - Opened by LunaAmora 11 months ago
- 1 comment
#85 - Make adts with fields compatible with vectorization
Pull Request -
State: closed - Opened by LunaAmora 11 months ago
- 1 comment
#84 - Fix unbound let free vars
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
#84 - Fix unbound let free vars
Pull Request -
State: closed - Opened by imaqtkatt 11 months ago
#83 - [sc 308] Update readme with information about tagged terms
Pull Request -
State: closed - Opened by LunaAmora 11 months ago
- 1 comment
#83 - [sc 308] Update readme with information about tagged terms
Pull Request -
State: closed - Opened by LunaAmora 11 months ago
- 1 comment
#82 - [sc 296] Update hvml's readme with all the new pattern matching info
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#82 - [sc 296] Update hvml's readme with all the new pattern matching info
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#81 - Update hvml to new hvmc op1 node, remove restriction on pre-reduction
Pull Request -
State: closed - Opened by developedby 12 months ago
#81 - Update hvml to new hvmc op1 node, remove restriction on pre-reduction
Pull Request -
State: closed - Opened by developedby 12 months ago
#80 - [sc-272] Add matching of numbers
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#80 - [sc-272] Add matching of numbers
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#79 - [sc-287] Improve prereduction pass
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#79 - [sc-287] Improve prereduction pass
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#78 - [sc-274] Allow nested patterns in let expressions
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#78 - [sc-274] Allow nested patterns in let expressions
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#77 - [sc-271] Destruction of record types with let expressions
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#77 - [sc-271] Destruction of record types with let expressions
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#76 - adt readback
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#76 - adt readback
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#75 - improve readback
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#75 - improve readback
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#74 - [sc-272] Add matching of pairs to pattern matching functions
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#74 - [sc-272] Add matching of pairs to pattern matching functions
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#73 - add tagged lambdas
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#73 - add tagged lambdas
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
#72 - [sc-286] Make matches and defs share same logic
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#72 - [sc-286] Make matches and defs share same logic
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#71 - Add debug mode (rebased)
Pull Request -
State: closed - Opened by developedby 12 months ago
#71 - Add debug mode (rebased)
Pull Request -
State: closed - Opened by developedby 12 months ago
#70 - Fix typo (sintatically => syntactically)
Pull Request -
State: closed - Opened by davisuga 12 months ago
#70 - Fix typo (sintatically => syntactically)
Pull Request -
State: closed - Opened by davisuga 12 months ago
#69 - [sc-284] Fix non exhaustive pattern error message
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#69 - [sc-284] Fix non exhaustive pattern error message
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#68 - [sc-287] Fix encoding of pattern matching functions
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#68 - [sc-287] Fix encoding of pattern matching functions
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#67 - [sc-283] Add unused var in pattern matching
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#67 - [sc-283] Add unused var in pattern matching
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#66 - [sc-285] Fix native match compilation bug
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#66 - [sc-285] Fix native match compilation bug
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#65 - [sc-282] Add hvml syntax for binary and hexadecimal numbers
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#65 - [sc-282] Add hvml syntax for binary and hexadecimal numbers
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#64 - Add lte and gte ops
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#64 - Add lte and gte ops
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#63 - Add 60 bit numbers support
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#63 - Add 60 bit numbers support
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#62 - [sc-273] Unify pattern matching code
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#62 - [sc-273] Unify pattern matching code
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#61 - Fix some tests, because of not being able to mem::take net.rdex
Pull Request -
State: closed - Opened by eduhenke 12 months ago
- 1 comment
#61 - Fix some tests, because of not being able to mem::take net.rdex
Pull Request -
State: closed - Opened by eduhenke 12 months ago
- 1 comment
#60 - [sc-278] Add linearize_matches pass
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#60 - [sc-278] Add linearize_matches pass
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#59 - [sc-280] Add superposition
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#59 - [sc-280] Add superposition
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#58 - panicked at 'internal error: entered unreachable code
Issue -
State: closed - Opened by tromp 12 months ago
- 8 comments
#58 - panicked at 'internal error: entered unreachable code
Issue -
State: closed - Opened by tromp 12 months ago
- 8 comments
#57 - Collection of small fixes and improvements
Pull Request -
State: closed - Opened by developedby 12 months ago
#57 - Collection of small fixes and improvements
Pull Request -
State: closed - Opened by developedby 12 months ago
#56 - fix match arm linearization procedure
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
- 2 comments
#56 - fix match arm linearization procedure
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
- 2 comments
#55 - add debug mode
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
- 4 comments
#55 - add debug mode
Pull Request -
State: closed - Opened by tjjfvi 12 months ago
- 4 comments
#54 - [sc 254 - fixed] re-add match syntax on adts to hvm lang
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#54 - [sc 254 - fixed] re-add match syntax on adts to hvm lang
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#53 - Revert "[sc-254] Add match syntax to hvm-lang"
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#53 - Revert "[sc-254] Add match syntax to hvm-lang"
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
- 1 comment
#52 - Add scott encoding transformation of pattern matching functions
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#52 - Add scott encoding transformation of pattern matching functions
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#51 - Fix linearization bug with unused duplicated vars
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#51 - Fix linearization bug with unused duplicated vars
Pull Request -
State: closed - Opened by LunaAmora 12 months ago