diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-07 15:06:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2020-11-07 15:06:03 +0900 |
| commit | 711ef33f6def94b9ea3bad16c85fa28779b47bec (patch) | |
| tree | a47c5643ef94196211b861a1b13a7b8435fbf87c /rabbit-prover/primitive.scm | |
| parent | 30aa68089dc2f353a6c17e1ea83c61dd2b06aede (diff) | |
wip
Diffstat (limited to 'rabbit-prover/primitive.scm')
0 files changed, 0 insertions, 0 deletions