counter that really works! / licznink, który działa na prawdę!
Type checking for the lambda-Pi calculus modulo rewriting
Type checker for the lambda-Pi calculus modulo rewriting