]> git.mdlowis.com Git - proto/sclpl-rb.git/commit
added anf pretty printing
authorMichael D. Lowis <mike.lowis@gentex.com>
Fri, 20 Jan 2023 21:29:05 +0000 (16:29 -0500)
committerMichael D. Lowis <mike.lowis@gentex.com>
Fri, 20 Jan 2023 21:29:05 +0000 (16:29 -0500)
commitd0a1f275524d1f990135d18cd921fe3108f3064b
tree3110abceb2927024fec34e904470332ede160bac
parent471d65abc64cbf3a3f64d92319bdc6a490f18a2d
added anf pretty printing
lib/cerise.rb
lib/utils/anf.rb