QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity
866 Commits 35 Branches 29 Tags
prh-docs-fix
Commit Graph

1 Commits

Author SHA1 Message Date
Radosław Rowicki bd7ed2ef8c Instant unification error on arguments count mismatch (#225) 
* Instant unification error on arguments count mismatch

* add testcase

* Add newline
 2020-02-21 10:28:55 +01:00