view src/ur/lib.urp @ 18:4bb4db8f9cdc

Upgrade ltmain.sh
author Adam Chlipala <adam@chlipala.net>
date Wed, 26 Oct 2011 09:12:37 -0400
parents ea0ca570c121
children
line wrap: on
line source
library config
ffi feedFfi
link -lurweb_feed
effectful FeedFfi.init
benignEffectful FeedFfi.fetch

$/char
$/string
$/option
$/list
feed