- track dependencies to axioms, and print them in the context
- interaction layer also need changes
close #21
+ track dependencies to axioms, and print them in the context
+ interaction layer also need changes
close #21
\axiom and related ability #46
close #21
+ track dependencies to axioms, and print them in the context + interaction layer also need changes
\axiom and related ability f83faef147
to a35d905c86
a35d905c86
to 4e85dc02ed
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?