GitHub repository: jsiek/gradual-typing-in-agda
Primary language: Agda
Created: 2019-02-18T12:28:32Z
Description: Formalizations of Gradually Typed Languages in Agda