Subtyping relation#7

Open

dvmarcilio wants to merge 7 commits into

rbonifacio:masterfrom

dvmarcilio:master

Commits on Nov 29, 2017

First naive impl. of Subtype checking with operator (<:)
dvmarcilio
committed

Commits on Nov 30, 2017

Width, Depth and Perm from S-Rcd using operations from Map data structure.
dvmarcilio
committed
Adding more test cases, specially for TArrow.
dvmarcilio
committed

Commits on Dec 1, 2017

Commits on Dec 7, 2017