diff options
| author | Pierre-Marie Pédrot | 2019-12-17 14:47:53 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-17 18:14:06 +0100 |
| commit | c802a5eed768a850d44441e69dda0a589264053c (patch) | |
| tree | a3d906ed9ebeb5c5d6446a02ecb02d5430e700db /dev | |
| parent | e0323c59b55ec66d732e3cfce8723306ec93c283 (diff) | |
Type pretyping is part of the open recursion
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions