Milestone - Githubissues

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

Closed isovector closed 3 years ago

isovector commented 3 years ago

[x] get commit up and running
[x] low hanging AST stuff --- at the very least to fix the big hack i put into intros
[ ] polymorphic instantiation
[ ] parser + custom tactics
[ ] import things into hypothesis
[ ] fix the explosion on destructing
[ ] auto gas
[ ] make auto free for split and destruct with only one datacon

isovector commented 3 years ago

Turned this into actual issues