Skip to content

made inductive relations callable. Zipper pmatching #269

made inductive relations callable. Zipper pmatching

made inductive relations callable. Zipper pmatching #269