Mercurial > urweb
view tests/ktuple.ur @ 2300:57f6473b1469
More work on heuristics.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Thu, 19 Nov 2015 18:13:01 -0500 |
| parents | d008c4c43a0a |
| children |
line wrap: on
line source
type q = (fn p => p.1) (int, float) type q = (fn p => p.1 * $p.3) (int, float, [])