GitHub repository: robrix/complexity-analysis
Primary language: Haskell
Created: 2017-10-12T19:58:28Z
Description: Sized type elaboration, eventually via abstract interpretation.