Int00.hs
int :: { v : Int | v == 12 }
int = 12
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
int :: { v : Int | v == 12 }
int = 12