jax
2557de19 - Merge pull request #533 from hawkinsp/master

Commit

7 years ago

Merge pull request #533 from hawkinsp/master Fix minor issue in conj_p translation rule.

References

Author

hawkinsp

Parents