GitHub repository: myuon/typed
Primary language: Isabelle
Created: 2016-12-25T16:39:32Z
Description: The curse of λ