ekmett guanxi issues - Githubissues

ekmett / guanxi

Relational programming in Haskell. Mostly developed on twitch.

http://twitch.tv/ekmett

Other

253 stars 29 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

patches for ghc-9.10.1 as a build compiler

#25 shayne-fletcher closed 2 weeks ago
0
Extend MonadLogic and add alternative LogicT implementation

#24 adamgundry opened 11 months ago
0
Add Spec.Ref tests for once/writeRef interaction

#23 adamgundry opened 11 months ago
0
once breaks backtracking references

#22 adamgundry opened 11 months ago
1
How far from OS parallelism?

#21 np opened 1 year ago
0
Equality: What if this is the exact same term?

#20 np opened 3 years ago
0
Incorrect merge of roots of known-disjoint terms

#19 np opened 3 years ago
1
Add infixr 5 declaration to Thrist((:.))

#18 Taneb closed 4 years ago
0
Interpreting solutions from DLX?

#17 identicalsnowflake closed 5 years ago
1
WIP API documentation

#16 Taneb closed 5 years ago
0
Faster stimes and use groups lib

#15 Taneb closed 5 years ago
0
Implement logic for equalities involving the same variable twice

#14 gwils closed 5 years ago
2
Update travis to GHC 8.6.4

#13 gwils closed 5 years ago
0
Use hspec-discover

#12 gwils closed 3 years ago
3
Replace CC with CXX in Makefile

#11 gwils closed 5 years ago
0
Fix compiler warning for reset

#10 nitromaster101 closed 5 years ago
0
Add street directory of modules and some more module headers

#9 gwils closed 5 years ago
0
cabal wasn't finding *.hpp files

#8 jnok closed 5 years ago
0
doctest -> hspec

#7 gwils closed 5 years ago
0
Update questions.txt

#6 jrp2014 closed 5 years ago
1
References for catenable deques

#5 duog closed 5 years ago
1
Add Stack support (stack .yaml)

#4 bollu closed 5 years ago
1
add some type signatures and replace *s with Type from Data.Kind

#3 jrp2014 closed 5 years ago
3
simplify

#2 mlang closed 5 years ago
1
Hlint cleanups

#1 jrp2014 closed 5 years ago
1