turing-math
0.1.0
math · Arithmetical programs working right for both supported encodings of numbers
math · Arithmetical programs working right for both supported encodings of numbers
math01 · Arithmetical programs which are specific for the "n to n+1" encoding
math00 · Arithmetical programs which are specific for the "n to n" encoding
turing · A set of Scala libraries providing a Turing Machine emulator,a DSL for creating programs for this emulator, and some predefined programs.