GitXplorerGitXplorer
h

pyccg

public
11 stars
6 forks
6 issues

Commits

List of commits on branch master.
Unverified
cf88f77f561d2663769d4246fdd6df47889227b7

update other tests to match stricter typing setup after arity fixes. related to hans/puddle-world#24

hhans committed 5 years ago
Unverified
be7dbfe542bbd7799a925c866a0fff69798f11cf

Ontology.get_expr_arity: properly handle bound variables used as functions. related: #24

hhans committed 5 years ago
Unverified
1b1864810334404ce3bfc07f4074d1ba7f0c89b7

add simple arity test for case of bound functional variables

hhans committed 5 years ago
Unverified
7f62ef281b93d6b2d3c761a442871fce577fb265

fix no op test. resolves #11

hhans committed 5 years ago
Unverified
669ec78f912727745ea5386a354b1d1d5b6857c0

iter_application_splits: yield unary no-op splits

hhans committed 5 years ago
Unverified
f5502b788d8c5c4d33ae9de04f0474ef20da3b25

test whether unification genlex supports deriving no-ops. see #11

hhans committed 5 years ago

README

The README file for this repository.

pyccg

CircleCI codecov