Skip to content

relations: rewrite transitive closure with dependent types#97

Open
dmitromikh wants to merge 1 commit into
masterfrom
dep-relations
Open

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

relations: rewrite transitive closure with dependent types

5db4f38
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs