search

carneades / carneades-4

Version 4 of Carneades, implemented in Go
https://carneades.github.io/
Other
48 stars 13 forks source link

Unused variables in argument schemes #26

Closed tfgordon closed 7 years ago

tfgordon commented 7 years ago

Extend the validator to report unused variables in argument schemes.