Ecosyste.ms: Issues

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

GitHub / RyanGlScott/eliminators issues and pull requests

#8 - Add eliminator for `Symbol`

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: enhancement

#7 - Require GHC 8.6

Pull Request - State: closed - Opened by RyanGlScott almost 6 years ago

#6 - Emulate Coq's induction schemes for data types that inhabit Prop

Issue - State: open - Opened by RyanGlScott about 6 years ago
Labels: enhancement

#5 - eliminate term-level code

Issue - State: closed - Opened by LeanderK over 6 years ago - 2 comments

#4 - Eliminators and Typeclasses

Issue - State: closed - Opened by LeanderK over 6 years ago - 17 comments

#3 - Unable to proof per Induction over Nat with Lists

Issue - State: closed - Opened by LeanderK over 6 years ago - 14 comments

#2 - Should we bother generating eliminators with predicates of kind (<Datatype> -> Type)?

Issue - State: closed - Opened by RyanGlScott about 7 years ago - 1 comment

#1 - Generate eliminators using Template Haskell

Issue - State: open - Opened by RyanGlScott about 7 years ago
Labels: enhancement