Mercurial > urweb

comparison lib/ur/basis.urs @ 775:a8bdd5a0d9b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
css demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 12:36:25 -0400
parents c125df6fabfc
children 87a7702d681d
comparison
equal deleted inserted replaced
774:412ccd97ab71 775:a8bdd5a0d9b0
29 val zero : t ::: Type -> num t -> t 29 val zero : t ::: Type -> num t -> t
30 val neg : t ::: Type -> num t -> t -> t 30 val neg : t ::: Type -> num t -> t -> t
31 val plus : t ::: Type -> num t -> t -> t -> t 31 val plus : t ::: Type -> num t -> t -> t -> t
32 val minus : t ::: Type -> num t -> t -> t -> t 32 val minus : t ::: Type -> num t -> t -> t -> t
33 val times : t ::: Type -> num t -> t -> t -> t 33 val times : t ::: Type -> num t -> t -> t -> t
34 val div : t ::: Type -> num t -> t -> t -> t 34 val divide : t ::: Type -> num t -> t -> t -> t
35 val mod : t ::: Type -> num t -> t -> t -> t 35 val mod : t ::: Type -> num t -> t -> t -> t
36 val num_int : num int 36 val num_int : num int
37 val num_float : num float 37 val num_float : num float
38 38
39 class ord 39 class ord
534 unit -> tag attrs ([Body] ++ ctx) [] [] [] 534 unit -> tag attrs ([Body] ++ ctx) [] [] []
535 535
536 val br : bodyTagStandalone [] 536 val br : bodyTagStandalone []
537 537
538 val span : bodyTag [] 538 val span : bodyTag []
539 val div : bodyTag []
539 540
540 val p : bodyTag [] 541 val p : bodyTag []
541 val b : bodyTag [] 542 val b : bodyTag []
542 val i : bodyTag [] 543 val i : bodyTag []
543 val tt : bodyTag [] 544 val tt : bodyTag []