annotate lib/basis.lig @ 103:8921f0344193

Command-line compiler goes the whole nine yards
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:14:23 -0400
parents 94afff1ff7f6
children b1e5398a7f30
rev   line source
adamc@56 1 type int
adamc@56 2 type float
adamc@56 3 type string
adamc@91 4
adamc@91 5
adamc@91 6 con tag :: {Unit} -> {Unit} -> Type
adamc@91 7
adamc@91 8
adamc@91 9 con xml :: {Unit} -> Type
adamc@91 10 val cdata : ctx ::: {Unit} -> string -> xml ctx
adamc@91 11 val tag : outer ::: {Unit} -> inner ::: {Unit}
adamc@91 12 -> tag outer inner
adamc@91 13 -> xml inner
adamc@91 14 -> xml outer
adamc@91 15 val join : shared :: {Unit}
adamc@91 16 -> ctx1 ::: {Unit} -> ctx1 ~ shared
adamc@91 17 -> ctx2 ::: {Unit} -> ctx2 ~ shared
adamc@91 18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
adamc@91 19
adamc@91 20
adamc@91 21 val head : tag [Html] [Head]
adamc@91 22 val title : tag [Head] []
adamc@93 23
adamc@93 24 val body : tag [Html] [Body]
adamc@93 25 val p : tag [Body] [Body]
adamc@93 26 val b : tag [Body] [Body]
adamc@93 27 val i : tag [Body] [Body]