Skip to main content

Browse the archive

Revision b6407e0f026cf5491ca5ed0a35ea5cf316ebe8ca authored by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC, committed by Anish Tondwalkar on 21 May 2021, 03:15:25 UTC 
formatted for submission
1 parent 042e097
Raw File
annlet.hs 
one :: {v:Int| v == 1}
one = let zero :: { v:Bool | 0 == 0} = 0 in zero + 1
back to top