|
lmoss's
repositories
|
|
.github
|
|
_build
|
|
cesets
|
|
introOneSharp
|
|
issues
|
|
logic
|
|
more_programs
|
|
mu
|
|
onesharp
|
|
recThm
|
|
tilingPdfs
|
|
undecidability
|
|
universal
|
|
coding.ipynb
|
|
notebooks.ipynb
|
|
sanity.ipynb
|
|
similarity.ipynb
|
|
single_register_self.ipynb
|
|
tiles.ipynb
|
|
LICENSE
|
|
README.md
|
|
_config.yml
|
|
_toc.yml
|
|
basses.jpg
|
|
beaver.jpg
|
|
conf.py
|
|
content.md
|
|
drum.jpg
|
|
harp.jpg
|
|
hopeless.jpg
|
|
index.md
|
|
intro.md
|
|
latex_macros.sty
|
|
logo.png
|
|
markdown-notebooks.md
|
|
markdown.md
|
|
onesharpdefs.py
|
|
ourboros1.jpg
|
|
pianotrumpet.jpg
|
|
pyproject.toml
|
|
questions.jpg
|
|
references.bib
|
|
requirements.txt
|
|
startup.shtml
|
