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
#50 - [sc-268] Fix label generator
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#50 - [sc-268] Fix label generator
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#49 - Update hvm-core version
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#49 - Update hvm-core version
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#48 - [sc-262] Rewrite inet_to_hvmc to have redexes in outer to inner order
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#48 - [sc-262] Rewrite inet_to_hvmc to have redexes in outer to inner order
Pull Request -
State: closed - Opened by developedby 12 months ago
- 1 comment
#47 - [sc-254] Add match syntax to hvm-lang
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#47 - [sc-254] Add match syntax to hvm-lang
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
- 1 comment
#46 - wrong lambda calculus reduction
Issue -
State: closed - Opened by tromp 12 months ago
- 2 comments
#46 - wrong lambda calculus reduction
Issue -
State: closed - Opened by tromp 12 months ago
- 2 comments
#45 - Add cli flag for single core
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#45 - Add cli flag for single core
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#44 - Update readme and example
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#44 - Update readme and example
Pull Request -
State: closed - Opened by imaqtkatt 12 months ago
#43 - Hvm core update fixes
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#43 - Hvm core update fixes
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#42 - Update hvm core version
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#42 - Update hvm core version
Pull Request -
State: closed - Opened by LunaAmora 12 months ago
#41 - [sc-172] Fix let scopes on readback
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#41 - [sc-172] Fix let scopes on readback
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#40 - [sc-156] Add explicit DUP/SUP labels to HVM-lang
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#40 - [sc-156] Add explicit DUP/SUP labels to HVM-lang
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#39 - [sc-243] Hvm-lang bug with numeric operations
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#39 - [sc-243] Hvm-lang bug with numeric operations
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#38 - Fix: Clone repo by HTTP method
Pull Request -
State: closed - Opened by TheMhv about 1 year ago
- 1 comment
#38 - Fix: Clone repo by HTTP method
Pull Request -
State: closed - Opened by TheMhv about 1 year ago
- 1 comment
#37 - Add --stats cli option
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#37 - Add --stats cli option
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#36 - Add `too many dup labels` warning
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#36 - Add `too many dup labels` warning
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#35 - [sc-238] Pre-reduce nets to fit new required form by hvmc
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#35 - [sc-238] Pre-reduce nets to fit new required form by hvmc
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#34 - improve cargo insta regression tests settings
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#34 - improve cargo insta regression tests settings
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#33 - Add eta reduction pass
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#33 - Add eta reduction pass
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#32 - Fix broken imports in test and format
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#32 - Fix broken imports in test and format
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#31 - Fix net_to_term_linear and improve readability
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#31 - Fix net_to_term_linear and improve readability
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#30 - [sc-235] Migrate tests to cargo-insta
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#30 - [sc-235] Migrate tests to cargo-insta
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#29 - [sc-239] Fix 0-ary patterns after parse, simplify exhaustiveness check
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#29 - [sc-239] Fix 0-ary patterns after parse, simplify exhaustiveness check
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#28 - [sc-119] Remove some non-essential dependencies, refactor the repo
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#28 - [sc-119] Remove some non-essential dependencies, refactor the repo
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#27 - [sc-123] Add ref-to-ref simplification pass
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#27 - [sc-123] Add ref-to-ref simplification pass
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#26 - [sc-220] Add scott-encoding transformation
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#26 - [sc-220] Add scott-encoding transformation
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#25 - [sc-155] Add pattern matching to HVM2
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#25 - [sc-155] Add pattern matching to HVM2
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#24 - Update hvm-core version
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#24 - Update hvm-core version
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#23 - Fix term substitute not working with LetPat::Tup
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#23 - Fix term substitute not working with LetPat::Tup
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#22 - [sc-102] Document hvm-lang's features and API
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#22 - [sc-102] Document hvm-lang's features and API
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#21 - [sc-135] Keep truncated name of defs when compiling
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#21 - [sc-135] Keep truncated name of defs when compiling
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#20 - [sc-137] Add support for "Main" entrypoint for HVM1 compatiblity
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 2 comments
#20 - [sc-137] Add support for "Main" entrypoint for HVM1 compatiblity
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 2 comments
#19 - [sc-61] Add proper lambda readback from inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#19 - [sc-61] Add proper lambda readback from inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#18 - [sc-103] Implement Pairs in hvm-lang
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#18 - [sc-103] Implement Pairs in hvm-lang
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#17 - [sc-61] Add proper lambda readback from inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#17 - [sc-61] Add proper lambda readback from inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#16 - [sc-61] Add lambda calculus readback of inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#16 - [sc-61] Add lambda calculus readback of inets
Pull Request -
State: closed - Opened by developedby about 1 year ago
- 1 comment
#15 - [sc-122] Rename entrypoint from Main to main
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#15 - [sc-122] Rename entrypoint from Main to main
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#14 - [sc-61] Refactor net intermediate representation
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#14 - [sc-61] Refactor net intermediate representation
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
- 1 comment
#13 - Definition pruning
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
#13 - Definition pruning
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
#12 - Refactor to use latest hvm-core
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
#12 - Refactor to use latest hvm-core
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
#11 - Finish reorganization of repo structure
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#11 - Finish reorganization of repo structure
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#10 - Reorganize repo
Pull Request -
State: closed - Opened by developedby about 1 year ago
#10 - Reorganize repo
Pull Request -
State: closed - Opened by developedby about 1 year ago
#9 - Expand autogenerated rules refs on readback
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#8 - Use Spanned
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
- 1 comment
#7 - Fix Term::subst function for Dup terms
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#6 - Fix wrong error outputs
Pull Request -
State: closed - Opened by imaqtkatt about 1 year ago
#5 - Fix readback from new hvm-core version
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#4 - Adds SKI combinators pass and updates supercombinators pass
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#3 - Add detach combinators pass
Pull Request -
State: closed - Opened by LunaAmora about 1 year ago
#2 - Make compat_net mod pub
Pull Request -
State: closed - Opened by eduhenke about 1 year ago
#1 - Add option to run files in HVM2
Pull Request -
State: closed - Opened by NaoEhSavio about 1 year ago
- 1 comment