dijkstracula/solvent issues and pull requests

#28 - Implement Type-level Evaluation

Pull Request - State: closed - Opened by sgpthomas over 1 year ago - 1 comment

#27 - List of buggy programs

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: high priority, tracking

#26 - Implement LUB on types during forward type annotation

Issue - State: open - Opened by sgpthomas over 1 year ago

#25 - Implement Parsing for Class definitions

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: enhancement, low priority

#24 - Rewrite ScopedEnvVisitor and migrate passed to it

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: enhancement, low priority

#23 - Normalize binary ops into function calls

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: low priority

#22 - How to deal with Series masks

Issue - State: open - Opened by sgpthomas over 1 year ago

#21 - Get `norm` working

Issue - State: closed - Opened by sgpthomas over 1 year ago

#20 - Much ado Predicate Variables during Hindley-Milner.

Issue - State: closed - Opened by sgpthomas over 1 year ago - 1 comment
Labels: bug, high priority

#19 - Change the way that we carry data in the AST

Pull Request - State: closed - Opened by sgpthomas over 1 year ago - 9 comments
Labels: enhancement, low priority

#18 - Implement a type abstraction type

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: enhancement, low priority

#17 - Nathan/distinguished series

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#17 - Nathan/distinguished series

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#17 - Nathan/distinguished series

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#17 - Nathan/distinguished series

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#16 - Cli

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#16 - Cli

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#15 - write some tests to guide a normalization rewriting

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#14 - Insert dynamic checks

Issue - State: open - Opened by sgpthomas over 1 year ago
Labels: v2

#13 - Remove scope constraints

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#12 - Gradual Typing

Issue - State: closed - Opened by sgpthomas over 1 year ago

#11 - Rewrite scoping system

Issue - State: closed - Opened by sgpthomas over 1 year ago

#10 - Add support for lists

Pull Request - State: closed - Opened by sgpthomas over 1 year ago - 3 comments

#9 - Simplify refinements whenever possible

Issue - State: open - Opened by sgpthomas over 1 year ago - 1 comment
Labels: enhancement, low priority

#9 - Simplify refinements whenever possible

Issue - State: open - Opened by sgpthomas over 1 year ago - 1 comment
Labels: enhancement, low priority

#8 - Implement an interface for typechecking whole files

Issue - State: closed - Opened by sgpthomas over 1 year ago

#7 - Nathan/split hm

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#6 - Get List datatypes working

Issue - State: closed - Opened by sgpthomas over 1 year ago

#6 - Get List datatypes working

Issue - State: closed - Opened by sgpthomas over 1 year ago

#6 - Get List datatypes working

Issue - State: closed - Opened by sgpthomas over 1 year ago

#5 - Separate Hindley-milner from Liquid Constraint Generation

Issue - State: closed - Opened by sgpthomas over 1 year ago

#5 - Separate Hindley-milner from Liquid Constraint Generation

Issue - State: closed - Opened by sgpthomas over 1 year ago

#4 - Fixing recursion

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#4 - Fixing recursion

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#3 - Basic error support

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#3 - Basic error support

Pull Request - State: closed - Opened by sgpthomas over 1 year ago

#2 - Port old tests to the new implementation

Issue - State: closed - Opened by dijkstracula over 1 year ago

#2 - Port old tests to the new implementation

Issue - State: closed - Opened by dijkstracula over 1 year ago

#1 - Handle Type Errors

Issue - State: closed - Opened by sgpthomas over 1 year ago - 2 comments

#1 - Handle Type Errors

Issue - State: closed - Opened by sgpthomas over 1 year ago - 2 comments

GitHub / dijkstracula/solvent issues and pull requests