On Sep 14, 2016, at 3:07 PM, John Denker <jsd at av8n.com> wrote: > Therefore, a question: Can anybody point to an implementation > of some interesting crypto primitive, AES or ChaCha or whatever, > written in a fully functional style? http://www.mitls.org/ - d.