Error: Search failed: Failed to fetch YouTube search results

Higher-order Functions Part 2 | Software Foundations In Coq | Lf | Poly

2023 13:05

The most famous higher-order functions might be map and fold (or reduce). The definition of these in Coq relies on parametric ...