| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 2271224623 | main | Merge #8 - remove ability to introduce new variables in current scope | push | GitHub | github |
84.97 |
|
| 2271210012 | typechecker | Merge c9de22543 into 00f1b2927 | Pull #8 | GitHub | github |
84.97 |
|
| 2271024475 | main | Merge #7 - various fixes | push | GitHub | github | pending completion | |
| 2256386379 | main | Merge #6 - implement typechecker and improve errors | push | GitHub | github |
85.03 |
|
| 2254581951 | main | Merge #5 - implement unifier and advanced parser | push | GitHub | github |
99.62 |
|
| 2254566519 | typechecker | Merge b10a15718 into d705d10ab | Pull #5 | GitHub | github | pending completion | |
| 2254528253 | typechecker | Merge b6a323184 into d705d10ab | Pull #5 | GitHub | github | pending completion | |
| 1954538846 | tests/nested-lists-missing-paren | Merge 091b4d0ef into 9cd12bd7d | Pull #4 | GitHub | github | pending completion |