Mercurial > urweb

comparison lib/basis.urs @ 417:e0e9e9eca1cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix nasty de Bruijn substitution bug; TcSum demo
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 12:58:35 -0400
parents c5a3d223f157
children 0ce90d4d9ae7
comparison
equal deleted inserted replaced
416:679b2fbbd4d0 417:e0e9e9eca1cb
18 val eq_float : eq float 18 val eq_float : eq float
19 val eq_string : eq string 19 val eq_string : eq string
20 val eq_bool : eq bool 20 val eq_bool : eq bool
21 21
22 class num 22 class num
23 val zero : t ::: Type -> num t -> t
23 val neg : t ::: Type -> num t -> t -> t 24 val neg : t ::: Type -> num t -> t -> t
24 val plus : t ::: Type -> num t -> t -> t -> t 25 val plus : t ::: Type -> num t -> t -> t -> t
25 val minus : t ::: Type -> num t -> t -> t -> t 26 val minus : t ::: Type -> num t -> t -> t -> t
26 val times : t ::: Type -> num t -> t -> t -> t 27 val times : t ::: Type -> num t -> t -> t -> t
27 val div : t ::: Type -> num t -> t -> t -> t 28 val div : t ::: Type -> num t -> t -> t -> t