view tests/simplify.ur @ 1999:a1d3fbdcc897

Add <pre> tag support
author Sergey Mironov <grrwlf@gmail.com>
date Mon, 24 Feb 2014 09:10:31 +0000
parents dd12d6d9e9a7
children
line wrap: on
line source
fun main [r] (r : $([A = int] ++ ([B = float] ++ r))) : $([A = float] ++ ([B = int] ++ r)) = r