Open nlizmi opened 2 months ago
fact_tr is not itself recursive, so we can get rid of the rec keyword
fact_tr
rec
fact_tr
is not itself recursive, so we can get rid of therec
keyword