diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 10:49:02 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-22 11:56:49 +0900 |
| commit | c3b18da12dd6f6510f960edb66669733ccdeb694 (patch) | |
| tree | 51dc8c96878a92f6bd20d7e1775f14185a5129c4 /LICENSE | |
| parent | 658812d37e3be083623a63c9839ac056451df1cd (diff) | |
リストモナドがモナド則を満たすことを示す
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions