Mastodawn

🆕 新着Qiita記事をお知らせします。

『ペアノ自然数とペアノ自然数での加算の推論規則をSwiftで表現してみる』
https://qiita.com/freddi_/items/b74a82eba7dfaa4b5020 by @freddi_ @Qiita

# はじめに [プログラミング言語の基礎概念](https://www.amazon.co.jp/dp/4781912850/)をある程度読み進めてて、 _「そういえば第1章の1.1のペアノ自然数の加算乗算の推論規則、Swiftのe...