diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-07 15:13:20 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-07 15:13:20 +0900 |
| commit | 3d0dc785b63534feb515d3b8eb8dbb25abbfaced (patch) | |
| tree | ca8de16987c6b15ba193357a4f5b80ca9582354e /permutations.lisp | |
| parent | b60a5fa9bfd8570bb5878492db85a9814f71e028 (diff) | |
peano: Add nat< function.
Diffstat (limited to 'permutations.lisp')
0 files changed, 0 insertions, 0 deletions