最近の検索
検索オプション
Merge branch 'feature/desugar-let-star' into develop · lo48576/xslt10-lambda-calculus@a2985c5
https://github.com/lo48576/xslt10-lambda-calculus/commit/a2985c562d4968469a8dec5a4a7e82075c75f390
let* 相当の機能を実装したので、実用的(???)な計算ができるようになりました
Add a test case 10-three-plus-four for `let*` testing · lo48576/xslt10-lambda-calculus@f04c21b
https://github.com/lo48576/xslt10-lambda-calculus/commit/f04c21be06eacf84e13dbb00e1e2b046b0fa2a7a
たとえば変数を定義しまくったうえで 3+4 を計算し、結果が 7 であることを確認できます
lo48576/xslt10-lambda-calculus: Lambda calculus by XSLT 1.0 (and `node-set()` of EXSLT)
https://github.com/lo48576/xslt10-lambda-calculus
XSLT がチューリング完全であることを示すために、型なしλ計算の処理系を XSLT 1.0 で実装しました。ご査収ください
そのうち発表用資料も書かないとな……
Merge branch 'fix/too-aggressive-eta-reduction' into develop · lo48576/xslt10-lambda-calculus@e5176d7
https://github.com/lo48576/xslt10-lambda-calculus/commit/e5176d7f2700734389158ee8614c56797b68f816
η簡約の条件チェックが足りてなかったバグを修正