https://huggingface.co/viai957/align/resolve/main/code/notebooks/0302-dependent-types.ipynb
hf download hf://viai957/align/code/notebooks/0302-dependent-types.ipynb
curl -L -o 0302-dependent-types.ipynb https://huggingface.co/viai957/align/resolve/main/code/notebooks/0302-dependent-types.ipynb
