関数型言語

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p class="no_idt"><a class="URI" href="https://lean-lang.org/" target="_blank" rel="noopener nofollow ugc">https://lean-lang.org/</a>
<br><a class="URI" href="https://github.com/leanprover" target="_blank" rel="noopener nofollow ugc">https://github.com/leanprover</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

Lean

t_wの輪郭

関数型言語

Lean

あれ

函数型言語