GitHub repository: sstucki/f-omega-int-agda
Primary language: Agda
Created: 2017-06-13T14:04:47Z
Description: F-omega with interval kinds mechanized in Agda