add todo_notes.txt with proof of finite memory outline
add todo_notes.txt with proof of finite memory outline

coder0xff/Plange,dlin172/Plange,coder0xff/Plange,dlin172/Plange,coder0xff/Plange,dlin172/Plange,coder0xff/Plange,dlin172/Plange