Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mbenke/lucretia issues and pull requests
#14 - Update parser to work with the current abstract syntax
Issue -
State: open - Opened by mbenke over 10 years ago
- 1 comment
#13 - Implementation of newer type-checker rules
Pull Request -
State: closed - Opened by miconi over 10 years ago
#12 - Implement weakening rule
Issue -
State: open - Opened by mbenke over 12 years ago
#11 - Exception when typechecking a label
Issue -
State: closed - Opened by mbenke over 12 years ago
- 1 comment
Labels: bug
#10 - Function typechecking bug
Issue -
State: closed - Opened by mbenke over 12 years ago
- 1 comment
Labels: bug
#9 - Python to Lucretia compiler stub.
Pull Request -
State: closed - Opened by miconi over 12 years ago
#8 - Added string type and NoneType
Pull Request -
State: closed - Opened by mbenke over 12 years ago
#7 - Function rules: fdecl, fapp.
Pull Request -
State: closed - Opened by miconi over 12 years ago
#6 - Ifhasattr rule, refactoring using lenses.
Pull Request -
State: closed - Opened by miconi over 12 years ago
#5 - Constraints isomorphism, documentation of Type Checker.
Pull Request -
State: closed - Opened by miconi over 12 years ago
#4 - Constraint-cutting (garbage-Constraints collection)
Pull Request -
State: closed - Opened by miconi about 13 years ago
#3 - A bunch of new rules (with bugs fixed in the type definition rule)
Pull Request -
State: closed - Opened by miconi about 13 years ago
#2 - Tests & typechecker
Pull Request -
State: closed - Opened by miconi about 13 years ago
#1 - Wstęp do modułu PythonToLucretia.Converter
Pull Request -
State: closed - Opened by miconi over 13 years ago
- 1 comment