Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / VictorCMiraldo/hdiff issues and pull requests

#29 - Catching up

Pull Request - State: closed - Opened by VictorCMiraldo almost 5 years ago

#28 - Delayed parse-error on datapoint

Issue - State: open - Opened by VictorCMiraldo almost 5 years ago

#27 - Thinning loops if terms are not alpha-renamed

Issue - State: closed - Opened by VictorCMiraldo about 5 years ago - 1 comment
Labels: metatheory and research

#26 - Wrong option to `ulimit`

Issue - State: open - Opened by VictorCMiraldo about 5 years ago

#25 - Tree Edit Distance

Issue - State: open - Opened by VictorCMiraldo about 5 years ago
Labels: metatheory and research

#24 - Sharing

Issue - State: open - Opened by VictorCMiraldo about 5 years ago
Labels: metatheory and research

#22 - Typofix: s/IFCP/ICFP/

Pull Request - State: closed - Opened by RyanGlScott about 5 years ago - 1 comment

#21 - Upload to Hackage

Issue - State: closed - Opened by meteficha about 5 years ago - 2 comments

#20 - Metatheoretical Work

Issue - State: open - Opened by VictorCMiraldo over 5 years ago - 1 comment
Labels: metatheory and research

#19 - Feedback on oracles.

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago - 1 comment

#18 - Use LocallyNameless for patch representation

Issue - State: open - Opened by VictorCMiraldo over 5 years ago

#17 - Optimize treefix operations

Issue - State: open - Opened by VictorCMiraldo over 5 years ago - 1 comment

#16 - Tweaks to skip-this-section and figure 10 explanation.

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago

#15 - Abstract rewrite.

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago

#14 - Writeup

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago

#13 - Bring in Wouter Changes

Pull Request - State: closed - Opened by VictorCMiraldo over 5 years ago

#12 - Comments up to Section7 (Conclusion/Further work).

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago - 1 comment

#4 - Bring in changes from Wouter's edits

Pull Request - State: closed - Opened by VictorCMiraldo over 5 years ago

#3 - Edits to section 1

Pull Request - State: closed - Opened by wouter-swierstra over 5 years ago

#2 - Categorize 'Change'

Issue - State: closed - Opened by VictorCMiraldo about 6 years ago - 1 comment

#1 - Pretty print Treefixes

Issue - State: open - Opened by VictorCMiraldo over 6 years ago
Labels: good first issue