Skip to main content

Browse the archive

Revision ef3d52b4562d7ab5364f70728e2378b8950580ef authored by Niki Vazou on 07 June 2019, 19:14:21 UTC, committed by GitHub on 07 June 2019, 19:14:21 UTC 
Merge pull request #404 from ucsd-progsys/kill-extensionality
 
Remove some used lambda features
2 parent s 648fcc9 + 73a1fba
Raw File
real00.fq 
bind 0 xZero : {v : real | v = 0.0 } 
bind 1 xOne  : {v : real | v = 1.0 } 

constraint:
  env [0; 1]
  lhs {v:int | true} 
  rhs {v:int | xZero /= xOne } 
  id 1 tag []
back to top