issues
search
isovector
/
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Apache License 2.0
0
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
abominable, pestilentenial CPS
#40
isovector
closed
3 years ago
1
[wip]: refinery v4 and attempt to do conflict-directed search
#39
isovector
closed
3 years ago
0
Rename modules to Copilot
#38
isovector
closed
3 years ago
0
Cleanup main module
#37
isovector
closed
3 years ago
0
Filter GADT case splits on whether or not the index matches the inferred index
#36
ProofOfKeags
opened
3 years ago
0
Working refactor
#35
isovector
closed
3 years ago
0
Refactor
#34
isovector
closed
3 years ago
0
@auto metaprograms break the golden tests
#33
isovector
opened
3 years ago
0
Split correctly on datatypes with existential type variables
#32
WorldSEnder
closed
3 years ago
4
Be more precise in `algebraicTyCon` in face of MagicHash
#31
WorldSEnder
opened
3 years ago
0
Split tactic for datatypes
#30
WorldSEnder
closed
3 years ago
3
Auto gas
#29
isovector
opened
3 years ago
0
Expose the metaprogramming interface
#28
isovector
opened
3 years ago
1
Polymorphic instantiation
#27
isovector
closed
3 years ago
0
Tactic tracing
#26
isovector
closed
3 years ago
0
Add tracing to extracts
#25
isovector
closed
3 years ago
0
Milestone
#24
isovector
closed
3 years ago
1
Regression
#23
isovector
closed
3 years ago
0
Bad heuristic
#22
isovector
closed
3 years ago
1
Feature Request: Expose split tactic
#21
ProofOfKeags
opened
3 years ago
6
Populate positional vars for non-RHS holes
#20
isovector
opened
3 years ago
1
New tactics
#19
isovector
closed
3 years ago
0
Use real Names instead of OccNames
#18
isovector
opened
3 years ago
0
Scoring function should have discrete bands
#17
isovector
closed
3 years ago
0
Scoring function should penalize for case match
#16
isovector
closed
3 years ago
0
Unit type name could be better
#15
isovector
closed
3 years ago
0
Clean up main LSP module
#14
isovector
opened
3 years ago
0
Golden tests
#13
isovector
closed
3 years ago
1
Fix tests
#12
isovector
closed
3 years ago
0
Apply tactic to all subgoals
#11
isovector
opened
3 years ago
0
MonadReader instance for ProvableT
#10
isovector
closed
3 years ago
0
Cut a refinery release
#9
isovector
closed
3 years ago
1
Support typeclasses
#8
isovector
closed
3 years ago
0
Allow recursion
#7
isovector
closed
3 years ago
0
User-curated list of functions in scope
#6
isovector
opened
3 years ago
3
Split doesn't work for types with multiple constructors
#5
isovector
closed
3 years ago
1
Don't try to destruct type families
#4
isovector
closed
3 years ago
1
Assumption doesn't unify like it should
#3
isovector
closed
3 years ago
2
Tactics
#2
isovector
closed
3 years ago
0
Generalized interface
#1
isovector
closed
3 years ago
1