Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Add test for backward chaining on lambda abstraction (issue #556): https://github.com/trueagi-io/hyperon-experimental/issues/556 (details)
Commit 0bd34908f2f0d4851c70347076f562c542cb8980 by Douglas R Miles
Add test for backward chaining on lambda abstraction (issue #556): https://github.com/trueagi-io/hyperon-experimental/issues/556
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/lambda_abstraction_bc_he_556.metta