These are chat archives for evhub/coconut

Jul 2017
Evan Hubinger
Jul 30 2017 17:49
@Paul-Yuchao-Dong 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!