aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-08-22Update.Masaya Tojo
2021-08-22Add standard-52-card-deck submodule.Masaya Tojo
2021-08-21Rename functions and theorems.Masaya Tojo
2021-08-21Remove gitlab-ci.ymlMasaya Tojo
2021-02-04Update CI settingsMasaya Tojo
2021-02-03Update CI settingsMasaya Tojo
2021-02-03Update CI settings.Masaya Tojo
2021-02-02Add CI settings.Masaya Tojo
2021-01-28Rename functions.Masaya Tojo
2021-01-28Use `nat-listp` function.Masaya Tojo
2021-01-26Use `zip` function.Masaya Tojo
2021-01-24Rewrite `safe-hit` theorem.Masaya Tojo
2021-01-24Add `bust-12` theorem.Masaya Tojo
2021-01-24Refactor `add-ace-scores` function.Masaya Tojo
2021-01-24Add .gitignoreMasaya Tojo
2021-01-24Define *aces* and *faces* constant.Masaya Tojo
2021-01-23Add theorem of `safe-hit`.Masaya Tojo
2021-01-23Rename from `filter-natp` to `filter-natp`.Masaya Tojo
2021-01-23Rename from `filter/facep` to `filter-facep`.Masaya Tojo
2021-01-22Remove hints.Masaya Tojo
2021-01-22Add blackjack.lispMasaya Tojo
2021-01-22Add LICENSEMasaya Tojo
2021-01-22Initial commitMasaya Tojo
generated by cgit v1.2.3 (git 2.50.1) at 2025-09-16 11:14:18 +0000