Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / david-christiansen/idris-code-highlighter issues and pull requests
#12 - Fix off-by-one end column
Pull Request -
State: closed - Opened by kevinboulain almost 7 years ago
- 3 comments
#11 - Fixes #10.
Pull Request -
State: closed - Opened by jfdm over 7 years ago
- 2 comments
#10 - Filename comparison is too strict.
Issue -
State: open - Opened by jfdm over 7 years ago
- 8 comments
#9 - Update for Idris 0.12.2, WIP Effects, general tidying
Pull Request -
State: closed - Opened by yurrriq over 8 years ago
- 5 comments
#8 - Seems that closing "scans" in .tex output is not always correct for types
Issue -
State: open - Opened by bgaster about 9 years ago
#7 - Switch to Edwin's effects library for file and I/O handling
Issue -
State: closed - Opened by david-christiansen over 9 years ago
Labels: enhancement, Low-hanging fruit
#6 - Highlighting uses wrong source locations on Windows
Issue -
State: closed - Opened by archaeron over 9 years ago
- 12 comments
Labels: bug
#5 - Show fully-qualified names in tooltips
Issue -
State: open - Opened by david-christiansen over 9 years ago
Labels: Low-hanging fruit, HTML backend
#4 - .lidr support
Issue -
State: open - Opened by david-christiansen over 9 years ago
Labels: enhancement
#3 - Enforce sorting invariant using type system
Issue -
State: open - Opened by david-christiansen over 9 years ago
#2 - HTML files should have links
Issue -
State: open - Opened by david-christiansen over 9 years ago
- 1 comment
Labels: HTML backend
#1 - Command line argument handling is a zygote of what it should be
Issue -
State: open - Opened by david-christiansen over 9 years ago
Labels: enhancement, User interface