├── .gitignore ├── Makefile ├── README.org ├── _CoqProject ├── basic.v ├── cast.v ├── properties.v ├── separation.v ├── shell.nix └── structured.v /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/Makefile -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/README.org -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/_CoqProject -------------------------------------------------------------------------------- /basic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/basic.v -------------------------------------------------------------------------------- /cast.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/cast.v -------------------------------------------------------------------------------- /properties.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/properties.v -------------------------------------------------------------------------------- /separation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/separation.v -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/shell.nix -------------------------------------------------------------------------------- /structured.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthuraa/memory-safe-language/HEAD/structured.v --------------------------------------------------------------------------------