Glad to hear Coconut is helping you get into functional programming! First, if you want to see a whole complex package written in Coconut, I'd recommend checking out pyprover
. Second, if you're trying to learn about a specific feature, definitely check out the examples in the documentation
for that feature. Hope that helps!