Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Law testing guidelines
#209 opened Dec 10, 2017 by denisrosset
fromInt and Ring-like structures.
#176 opened Oct 17, 2016 by johnynek
add Kleene Algebra
#169 opened Sep 11, 2016 by johnynek
maybe optimize times in Map semiring
#159 opened Aug 21, 2016 by johnynek
use example
#153 opened May 19, 2016 by gilcu2
Array instances
#130 opened Dec 9, 2015 by rklaehn
Name for a rig + division
#120 opened Nov 17, 2015 by johnynek
use tut and give a simple manual
#114 opened Nov 10, 2015 by johnynek
Symbolic infix operators
#78 opened Aug 13, 2015 by TomasMikula
ProTip! Find all open issues with in progress development work with linked:pr.
You can’t perform that action at this time.