Jollywatt / SetTheoreticTypes.jl

Proof of concept for type system with unions, intersections and complements.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Jollywatt/SetTheoreticTypes.jl Issues

No issues in this repository yet.