最近の検索
検索オプション
Merge branch 'feature/desugar-apply-at-once' into develop · lo48576/xslt10-lambda-calculus@7f93e0e
https://github.com/lo48576/xslt10-lambda-calculus/commit/7f93e0e11d3e7d956c416d767d6ae34f6c6507f0
(a b c d) を (((a b) c) d) に脱糖する機能を実装した
github.comMerge branch 'feature/desugar-apply-at-once' into develop · lo48576/xslt10-lambda-calculus@7f93e0eLambda calculus by XSLT 1.0 (and `node-set()` of EXSLT) - lo48576/xslt10-lambda-calculus