source-academy / js-slang / 2266

77%

push

travis-ci

Source §1 type inference specs (#450)

* type inference specs

* minor bug

* tweaks in type inference; upgrade to Source 2021

* tweaks in type inference; upgrade to Source 2021

* type inference documentation wip

* type inf specs simplified; bugs in misc and math removed

* edits to constraint rules and formatting

* made more edits to the rules for constraints

* added more accurate descriptions for typing blocks

Co-authored-by: Muruges <muruges95@hotmail.com>

876 of 1075 branches covered (81.49%)

Branch coverage included in aggregate %.

2408 of 2641 relevant lines covered (91.18%)

287434.39 hits per line