SpiceQA
Questions
Tags
Users
Badges
unification
24 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Prove two values are equal from case statement
user_6369276
0
•
asked Nov 7, 2017
3
1
77
unification
idris
typechecking
pattern-matching
`case` that refines arguments
user_477476
0
•
asked Oct 4, 2017
3
1
74
unification
idris
pattern-matching
Associative, commutative properties and identity elements of non-binary functions
user_1064724
0
•
asked Dec 27, 2013
3
1
365
unification
logic
associativity
language-agnostic
pattern-matching
Higher-order unification
user_45843
0
•
asked Dec 20, 2009
60
4
5395
unification
logic
artificial-intelligence
algorithm
Prev
Prev
1
2
3
(current)
Hot Questions