Skip to content
Snippets Groups Projects
Commit c7a5cc34 authored by Artin Ghasivand's avatar Artin Ghasivand
Browse files

Fix the DeepSubsumption and DeepSkolemisation rules, add Split-TauArrow 

Added a draft that explains the ambiguity of the syntax of types.
parent e8ab4911
No related branches found
No related tags found
Checking pipeline status