relations: rewrite transitive closure with dependent types#97
Open
dmitromikh wants to merge 1 commit into
Open
relations: rewrite transitive closure with dependent types#97dmitromikh wants to merge 1 commit into
dmitromikh wants to merge 1 commit into
