annotate include/urweb/urweb.h @ 1885:8297968cf7ef

Rename ListPair.map2 to ListPair.mp
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 08:38:20 -0500
parents a5b08bdfa450
children
rev   line source
ezyang@1739 1 #ifndef URWEB_H
ezyang@1739 2 #define URWEB_H
ezyang@1739 3
ezyang@1739 4 #include "types.h"
adam@1881 5 #include "urweb_cpp.h"
adam@1787 6
ezyang@1739 7 #endif