SpiceQA
Questions
Tags
Users
Badges
fstar
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
What language has equational rewrite?
user_242189
0
•
asked Apr 6, 2021
2
0
169
fstar
liquid-haskell
ocaml
haskell
1
(current)
Hot Questions