SCIP EX1.4. a-plus-abs-b in lisp 2016-04-13 </div> </div> </article> <nav class="pagination fn-clear" id="violet-paging"> <div class="pagination-list"> <a class="prev" href="/2016/04/12/SCIP1.3.html" rel="bookmark"><i class="fa fa-chevron-circle-left"></i>SCIP EX1.3. sum of the...</a> <a class="next" href="/2016/04/14/SCIP1.5.html" rel="bookmark">SCIP EX1.5. applicative-order VS normal-order...<i class="fa fa-chevron-circle-right"></i></a> </div> </nav> > <div class="comment"> <div class="comment-cnt"> <div id="disqus_thread"></div> </div> </div> </section> <footer class="foot" id="violet-foot"> <div class="footer fn-clear"> <h1 class="logo">The Lisp</h1> </div> <!-- <div class="copyright"> <div class="copyright-cnt fn-clear"> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-google-plus"></i></a> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-facebook"></i></a> <a class="follow" href="http://github.com/pizn" target="_blank"><i class="fa fa-github"></i></a> <a class="follow" href="http://weibo.com/pizner" target="_blank"><i class="fa fa-weibo"></i></a> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-renren"></i></a> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-pinterest"></i></a> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-twitter"></i></a> <a class="follow" href="http://www.zhanxin.info" target="_blank"><i class="fa fa-rss"></i></a> <p class="text">© 2013 Violet Jekyll Theme.Design by <a href="http://www.zhanxin.info">zhanxin.lin</a></p> </div> </div> --> </footer> </div> <script type="text/javascript" src="http://jellyr.github.io/themes/violet/js/jquery-1.8.3.js"></script> <script type="text/javascript" src="http://jellyr.github.io/themes/violet/js/jquery-scrollTo.js"></script> <script type="text/javascript" src="http://jellyr.github.io/themes/violet/js/common.js"></script> <script type="text/javascript"> var headImgArr = []; headImgArr.push("/themes/violet/images/hdbg01.jpg"); headImgArr.push("/themes/violet/images/hdbg02.jpg"); headImgArr.push("/themes/violet/images/hdbg03.jpg"); headImgArr.push("/themes/violet/images/hdbg04.jpg"); if(headImgArr.length <= 0) { headImgArr = ["/themes/violet/images/hdbg03.jpg"]; var item = 0; } else { var item = Math.floor(Math.random() * (headImgArr.length)); } $("#violet-head").css({ "background-image": "url(" + headImgArr[item] + ")" }); </script> </body> </html>