Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mandriva > 8.2 > i586 > media > contrib > by-pkgid > 8a80864b07c5f16e9ba9be320c149cfa > files > 106

teyjus-1.0_b31-15mdk.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

sig  lists2.

type append  (list A) -> (list A) -> (list A) -> o.

type reverse (list A) -> (list A) -> o.

type cons   A -> (list A) -> (list A).

type null   (list A).