Commit 22717ba5 authored by POTTIER Francois's avatar POTTIER Francois


parent 489f4d73
......@@ -40,7 +40,8 @@ That would require letting the user specify the result type
Implement and document endoreduce?
Share code by using "Map endo" internally where endo : bool.
Could define nontrivial [fold] and [fold2] in VisitorsRuntime.
Maybe [fold] and [fold2] in VisitorsRuntime should just be aliases
for [map] and [map2]. The user can use [nude] if that it is not appropriate.
Once we have that, can we deal with GADTs?
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment