diff options
| author | Kazuhiko Sakaguchi | 2019-11-15 19:46:20 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-03-15 14:11:47 +0900 |
| commit | 85039b4c536a67ce936c079f519a9a8b6c33f1d6 (patch) | |
| tree | 8c9e74b01ef801758686d0ca5dfd36c2bc0ae405 /.github/pull_request_template.md | |
| parent | d2443948206ddf78706add540c27341da4abc906 (diff) | |
Extend comparison predicates for nat with minn and maxn
Diffstat (limited to '.github/pull_request_template.md')
0 files changed, 0 insertions, 0 deletions