/

• .gitignore
• Gentle_introduction_Inpla.md
• nneq
• notes.norg
• proof.norg
• xor.py