issues Search Results · repo:goldfirere/effects language:Haskell

Filter by

• • Code... (...)results
  • Issues1 (1)results
  • Pull requests0 (0)results
  • Discussions0 (0)results
  • Commits0 (0)results
  • Packages0 (0)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues1 (1)

1 result

 (42 ms)

1 result

ingoldfirere/effects (press backspace or delete to remove)

Sort by: Best match

Filter

goldfirere/effects

SubListProof & ElemProof can be marked injective

Moved from thesis Type families SubListProof and ElemProof can be made injective, does that help anywhere? type family SubListProof = (res :: SubList (xs :: [a]) (ys :: [a])) | res - xs a where ...

• Icelandjack
·
• 1
·
• Opened 
  on Aug 28, 2017
·
• #1

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Restrict your search to the title by using the in:title qualifier.

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.