# Commit 2020-09-05 13:51 815a2f97

View on Github →feat(computability/encoding): define encoding of basic data types (#3976) We define the encoding of natural numbers and booleans to strings for Turing machines to be used in our future PR on polynomial time computation on Turing machines.