SpiceQA
Questions Tags Users Badges

reasoned-schemer

reasoned-schemer

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Frame 6:8 - Why do we not get stuck in the recursion?
userRDq0
• asked Sep 22, 2022
1
1
41
reasoned-schemer scheme
Frame 2:26 - Why does conso have a strange cube?
userRDq0
• asked Sep 14, 2022
2
1
47
reasoned-schemer scheme
Frame 1:85 - Why does a conj2 of disj2 accumulate?
userRDq0
• asked Sep 10, 2022
1
2
74
reasoned-schemer scheme
Frame 1:26 - What does q unify with?
userRDq0
• asked Sep 8, 2022
1
1
41
reasoned-schemer scheme
Frame 1:33 - How do we unify two lists?
userRDq0
• asked Sep 8, 2022
1
1
42
reasoned-schemer scheme
Why is `(,x) a shorthand for (cons x '())?
userRDq0
• asked Sep 7, 2022
0
1
58
quasiquotes backquote reasoned-schemer scheme
  • 1 (current)
Hot Questions
Terms of service Privacy policy
Powered by Answer