Skip to content

Erudite existentials

Choose a tag to compare

@mikesol mikesol released this 06 Apr 18:38
· 245 commits to main since this release

Uses existential types for subgraph construction.