Mercurial > urweb
annotate tests/ord.ur @ 2095:d9f918b79b5a
List.mem
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 23 Dec 2014 14:41:23 -0500 |
parents | 9f67aac13cf7 |
children |
rev | line source |
---|---|
adamc@391 | 1 fun main () : transaction page = return <xml><body> |
adamc@394 | 2 {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}, {[ 1 > 1 ]}, {[ 2 > 1 ]}, {[ 0 >= 1 ]}, {[ 2 >= 1 ]}<br/> |
adamc@394 | 3 {[ 1.0 < 1.0 ]}, {[ 1.0 < 2.0 ]}, {[ 1.0 <= 1.0 ]}, {[ 2.0 <= 1.0 ]}, {[ 1.0 > 1.0 ]}, {[ 2.0 > 1.0 ]}, {[ 0.0 >= 1.0 ]}, {[ 2.0 >= 1.0 ]}<br/> |
adamc@395 | 4 {[ True < False ]}, {[ False < True ]}, {[ False <= True ]}, {[ False > True ]}<br/> |
adamc@395 | 5 {[ "A" < "B" ]}, {[ "C" < "B" ]} |
adamc@391 | 6 </body></xml> |