Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / isovector/algebra-checkers issues and pull requests

#21 - chore: get everything compiling against lts-18.18

Pull Request - State: closed - Opened by isovector almost 2 years ago

#20 - Higher kinded types get monomorphized to word8

Issue - State: open - Opened by isovector over 4 years ago

#19 - Sanity checking is hella slow

Issue - State: closed - Opened by isovector over 4 years ago

#18 - Dodgy checker isn't useful

Issue - State: closed - Opened by isovector over 4 years ago

#17 - Typecheck InfixE sections

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment

#16 - Refine derived confluence tests

Issue - State: open - Opened by isovector over 4 years ago

#15 - Modeler attempts to model every type signature

Issue - State: open - Opened by isovector over 4 years ago

#14 - Modeled type failure

Issue - State: open - Opened by isovector over 4 years ago - 6 comments

#13 - th-tc doesn't play nicely with type families

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment

#12 - Modeler goes haywire if there are no models

Issue - State: open - Opened by isovector over 4 years ago

#10 - Model replacement needs to also target typesigs

Issue - State: closed - Opened by isovector over 4 years ago - 4 comments

#9 - Typechecking fails for unconstrained, universal types

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment

#8 - Do out-of-scope checking during collect

Issue - State: closed - Opened by isovector over 4 years ago

#6 - Remove comments from algebra-check pp

Issue - State: closed - Opened by isovector over 4 years ago

#5 - Overactive dodgy checker

Issue - State: closed - Opened by isovector over 4 years ago

#4 - Unimported combinators lead to terrible error messages

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment

#3 - Polymorphic instantiation doesn't work

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment

#2 - Sanity checking should happen before confluence

Issue - State: closed - Opened by isovector over 4 years ago