Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

type introspection with qualification, dry-comparison library, automata union, naive unranked pattern matching really unranked.

Merge request reports