gitextract_wiwtvaga/

├── .gitignore
├── Cargo.toml
├── LICENSE
├── README.md
├── docs/
│   ├── Makefile
│   ├── index.adoc
│   ├── index.html
│   ├── index.ja.adoc
│   └── index.ja.html
├── embed_macro/
│   ├── Cargo.toml
│   ├── LICENSE
│   ├── README.md
│   └── src/
│       └── lib.rs
├── history.md
├── specification/
│   ├── Makefile
│   ├── language.md
│   └── typing.tex
├── src/
│   ├── coq.rs
│   ├── lib.rs
│   ├── macro.rs
│   ├── parser.rs
│   ├── prelude.lisp
│   ├── runtime.rs
│   └── semantics.rs
└── tests/
    ├── embedded.rs
    └── transpile.rs