source-git / isl

Clone
Source Code
GIT

Blame isl-0.16.1/test_inputs/application.omega

c8 master
  1.   fb9d21dc466c02293757c8ee46e9134ce59bd187
  2.   isl-0.16.1
  3.   test_inputs
  4.   application.omega
Blob History Raw
Packit fb9d21 
{[x]}
Packit fb9d21 
{[x] -> [y] : y = 2x}
Packit fb9d21 
{[y]: Exists ( alpha : 2alpha = y)}

Powered by Pagure 5.13.3

SSH Hostkey/Fingerprint | Documentation