Ecosyste.ms: Issues

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

GitHub / jwaldmann/haskell-obdd issues and pull requests

#13 - ‘forall’ may become a keyword

Issue - State: closed - Opened by int-index about 3 years ago - 1 comment

#12 - add `Eq` instance

Issue - State: open - Opened by m4lvin about 6 years ago - 1 comment

#11 - make a reasonable implementation of negation

Issue - State: closed - Opened by jwaldmann over 6 years ago

#10 - add if-then-else operation

Issue - State: open - Opened by jwaldmann over 6 years ago - 2 comments

#9 - performance

Issue - State: open - Opened by jwaldmann almost 7 years ago

#8 - Add "domino placement" example

Pull Request - State: closed - Opened by heyLu almost 7 years ago

#7 - generalize type of and and or (use Foldable)

Issue - State: closed - Opened by jwaldmann almost 8 years ago

#6 - display function eats CPU

Issue - State: closed - Opened by jwaldmann almost 8 years ago - 1 comment

#5 - comment in examples/Weight is wrong

Issue - State: closed - Opened by jwaldmann about 8 years ago

#4 - optimize symmetric operations

Issue - State: open - Opened by jwaldmann about 8 years ago

#3 - toDot is broken for variables of type String

Issue - State: closed - Opened by jwaldmann about 8 years ago

#2 - should export function to display a diagram directly

Issue - State: closed - Opened by jwaldmann about 8 years ago

#1 - precedence of && vs. || is broken

Issue - State: closed - Opened by jwaldmann about 8 years ago