issues
search
wrengr
/
unification-fd
Generic functions for single-sorted first-order structural unification
Other
40
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Raise bound on logict
#84
dpwiz
closed
5 days ago
1
Use datafix
#83
wrengr
closed
1 week ago
0
[CI] Bump actions/cache from 4.0.2 to 4.1.2
#82
dependabot[bot]
closed
1 week ago
1
[CI] Bump haskell-actions/setup from 2.7.4 to 2.7.6
#81
dependabot[bot]
closed
1 week ago
2
Can `applyBindings` affect the semantics/result?
#80
bladyjoker
closed
4 months ago
2
Allow logict-0.8.1.0
#79
phadej
closed
3 months ago
1
[CI] Bump haskell-actions/setup from 2.7.0 to 2.7.1
#78
dependabot[bot]
closed
3 months ago
2
[CI] Bump actions/cache from 4.0.0 to 4.0.2
#77
dependabot[bot]
closed
8 months ago
1
[CI] Bump actions/cache from 4.0.0 to 4.0.1
#76
dependabot[bot]
closed
8 months ago
1
[CI] Bump actions/cache from 3.3.1 to 4.0.0
#75
dependabot[bot]
closed
9 months ago
0
[CI] Bump actions/cache from 3.3.1 to 3.3.2
#74
dependabot[bot]
closed
10 months ago
1
[CI] Bump haskell/actions from 2.4.1 to 2.4.7
#73
dependabot[bot]
closed
9 months ago
0
[CI] Bump actions/checkout from 3 to 4
#72
dependabot[bot]
closed
9 months ago
3
Build failure with GHC-7.8 and older
#71
phadej
closed
3 months ago
0
Support current logict version
#70
alaendle
closed
3 months ago
2
[CI] Bump haskell/actions from 2.3.6 to 2.4.1
#69
dependabot[bot]
closed
1 year ago
0
[CI] Bump haskell/actions from 2.3.6 to 2.3.7
#68
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.2.6 to 3.3.1
#67
dependabot[bot]
closed
1 year ago
2
Bump haskell/actions from 2.3.3 to 2.3.5
#66
dependabot[bot]
closed
1 year ago
2
Bump actions/cache from 3.2.6 to 3.3.0
#65
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.3.3 to 2.3.4
#64
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.2.2 to 3.2.6
#63
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.2.2 to 3.2.5
#62
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.2.2 to 3.2.4
#61
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.2.0 to 2.3.3
#60
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.2.0 to 2.3.2
#59
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.2.0 to 2.3.1
#58
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.2.2 to 3.2.3
#57
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.0.0 to 2.2.0
#56
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.0.0 to 2.1.0
#55
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.0.8 to 3.2.2
#54
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.0.0 to 2.0.4
#53
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.0.8 to 3.2.1
#52
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.0.8 to 3.2.0
#51
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.0.0 to 2.0.3
#50
dependabot[bot]
closed
1 year ago
1
Bump haskell/actions from 2.0.0 to 2.0.2
#49
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.0.8 to 3.0.11
#48
dependabot[bot]
closed
1 year ago
1
Bump actions/cache from 3.0.8 to 3.0.10
#47
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.8 to 3.0.9
#46
dependabot[bot]
closed
2 years ago
1
Bump haskell/actions from 2.0.0 to 2.0.1
#45
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.8
#44
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.7
#43
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.6
#42
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.5
#41
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.4
#40
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.2 to 3.0.3
#39
dependabot[bot]
closed
2 years ago
1
Bump haskell/actions from 1.2.9 to 2.0.0
#38
dependabot[bot]
closed
2 years ago
1
Bump haskell/actions from 1.2.9 to 1.2.11
#37
dependabot[bot]
closed
2 years ago
1
Bump actions/cache from 3.0.1 to 3.0.2
#36
dependabot[bot]
closed
2 years ago
1
Bump haskell/actions from 1.2.9 to 1.2.10
#35
dependabot[bot]
closed
2 years ago
1
Next