Ecosyste.ms: Issues

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

GitHub / ekmett/guanxi issues and pull requests

#24 - Extend MonadLogic and add alternative LogicT implementation

Pull Request - State: open - Opened by adamgundry 9 months ago

#23 - Add Spec.Ref tests for once/writeRef interaction

Pull Request - State: open - Opened by adamgundry 9 months ago

#22 - once breaks backtracking references

Issue - State: open - Opened by adamgundry 9 months ago - 1 comment

#21 - How far from OS parallelism?

Issue - State: open - Opened by np 12 months ago

#20 - Equality: What if this is the exact same term?

Issue - State: open - Opened by np over 3 years ago

#19 - Incorrect merge of roots of known-disjoint terms

Issue - State: open - Opened by np over 3 years ago - 1 comment

#18 - Add infixr 5 declaration to Thrist((:.))

Pull Request - State: closed - Opened by Taneb over 4 years ago

#17 - Interpreting solutions from DLX?

Issue - State: closed - Opened by identicalsnowflake almost 5 years ago - 1 comment

#16 - WIP API documentation

Pull Request - State: closed - Opened by Taneb almost 5 years ago

#15 - Faster stimes and use groups lib

Pull Request - State: closed - Opened by Taneb almost 5 years ago

#14 - Implement logic for equalities involving the same variable twice

Pull Request - State: closed - Opened by gwils about 5 years ago - 2 comments

#13 - Update travis to GHC 8.6.4

Pull Request - State: closed - Opened by gwils over 5 years ago

#12 - Use hspec-discover

Pull Request - State: closed - Opened by gwils over 5 years ago - 3 comments

#11 - Replace CC with CXX in Makefile

Pull Request - State: closed - Opened by gwils over 5 years ago

#10 - Fix compiler warning for reset

Pull Request - State: closed - Opened by nitromaster101 over 5 years ago

#9 - Add street directory of modules and some more module headers

Pull Request - State: closed - Opened by gwils over 5 years ago

#8 - cabal wasn't finding *.hpp files

Pull Request - State: closed - Opened by jnok over 5 years ago

#7 - doctest -> hspec

Pull Request - State: closed - Opened by gwils over 5 years ago

#6 - Update questions.txt

Pull Request - State: closed - Opened by jrp2014 over 5 years ago - 1 comment

#5 - References for catenable deques

Issue - State: closed - Opened by duog over 5 years ago - 1 comment

#4 - Add Stack support (stack .yaml)

Pull Request - State: closed - Opened by bollu over 5 years ago - 1 comment

#3 - add some type signatures and replace *s with Type from Data.Kind

Pull Request - State: closed - Opened by jrp2014 over 5 years ago - 3 comments

#2 - simplify

Pull Request - State: closed - Opened by mlang over 5 years ago - 1 comment

#1 - Hlint cleanups

Pull Request - State: closed - Opened by jrp2014 almost 6 years ago - 1 comment