property="og:title" content="church encoding"/><meta property="og:url" content="https://wiki.xxiivv.com/site/church_encoding.html"/><meta property="og:image" content="https://wiki.xxiivv.com/media/services/rss.jpg"/><title>XXIIVV &mdash; church encoding</title></head><body>
<header><a href="home.html"><img alt="XXIIVV" src="../media/icon/logo.svg"></a></header>
<nav><ul><li><a href="lisp.html" class="parent">lisp</a></li></ul><ul><li><a href="lisp_library.html">lisp library</a></li><li><a href="church_encod