aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/acqua/approximation/Noop.scala
Commit message (Expand)AuthorAgeFilesLines
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-151-0/+34