Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/ICryptol issues and pull requests
#15 - Update for GHC 8 when dependencies are ready
Issue -
State: open - Opened by acfoltzer over 8 years ago
Labels: enhancement
#14 - Short commands aren't recognized in REPL cells
Issue -
State: open - Opened by acfoltzer over 9 years ago
#13 - Create IPython 3-style kernel to replace profile
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#12 - Support Windows
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#11 - :help includes non-notebook commands
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: bug
#10 - :s generates error
Issue -
State: open - Opened by jpziegler over 9 years ago
#9 - Add to list of existing kernels ?
Issue -
State: open - Opened by Carreau over 9 years ago
#8 - Add CodeMirror mode for Cryptol
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#7 - Progress bars for :check
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#6 - Display bitmaps for results of particular types
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#5 - More semantic info for kernel responses
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#4 - Allow multi-line commands
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#3 - Improve relevance of error message location info
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#2 - Implement help lookup and completion
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement
#1 - Add testing infrastructure
Issue -
State: open - Opened by acfoltzer over 9 years ago
Labels: enhancement