Evgeniy Slobodkin

Missing matches when using JPlag 3

5

Hi! I found that JPlag v.3 misses some of the matches that JPlag v.2.12.1 finds. For example: JPlag3 breaks the match at lines with `is Empty() / size() == 0`,...

#50

fix: TypeGuard becomes bool instead of Any when passed as TypeVar (fixes #17117)

3

Fixes #17117.

#22 - [x] Integrate elpi - [x] Support stlc - [ ] Support typechecking for nat - [ ] Support modal types - [ ] Differential testing

Fixes issue #17.