タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

lambdaに関するyambiのブックマーク (2)

  • LCI

    LCI is an interpreter for the lambda calculus. It supports many advanced features such as recursion, user-defined operators and multiple evaluation strategies, all based on the pure calculus. It is free software licenced under the GNU General Public Licence (GPL). Try it online LCI can run in a browser via WebAssembly. Try the demo! Features LCI can be considered a small (but powerfull) functional

    yambi
    yambi 2010/02/21
  • 1