Skip to main content

Browse the archive

Revision ae9f5b95ebf7b36577861434e2099b638540d730 authored by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC, committed by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC 
bump iterations in Transformations.hs
1 parent eba2590
Raw File
EqConstr0.fq 
 
bind 1 x : {v: int | true } 
bind 2 y : {v: a   | true } 

constraint:  
  env [1; 2]
  lhs {v: int | x = y }
  rhs {v: Int | y = x }
  id 1 tag []
back to top