There are 0 repository under sigma-types topic.
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.