Skip to content Sign up Sign in </textarea> '"` This repository Explore Features Enterprise Pricing Watch 1 Star 0 Fork 0 wraithan / tapl Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with </textarea> '"` HTTPS or </textarea> '"` Subversion . Download ZIP Permalink blob contrib key: blob_contributors:v21:f7003b87c2d58dd39e3a11368ae70e59 Branch: master Switch branches/tags Branches Tags master Nothing to show Nothing to show tapl / chapter3.org 756a7ab Nov 24, 2015 wraithan render better 1 contributor wraithan Raw Blame History 59 lines (36 sloc) 1.43 KB S_0 = ∅ S i+1 = {true, false, 0} ∪ {succ t_1, pred t_1, iszero t_1 | t_1 ∈ S_i} ∪ {if ...