Mercurial > urweb

annotate demo/more/bid.urs @ 1327:1cc67fdac4d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New argument to transactional free functions, to specify whether we are about to retry
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Dec 2010 11:15:20 -0500
parents 6bcc1020d5cd
children
rev   line source
adamc@1030 1 con fields :: Type -> Type -> {Type}
adamc@1030 2
adamc@1023 3 functor Make (M : Conference.INPUT) : Conference.OUTPUT where con paper = M.paper
adamc@1023 4 where con userId = M.userId
adamc@1022 5 where con paperId = M.paperId
adamc@1030 6 where con yourPaperTables = [Assignment
adamc@1030 7 = fields M.userId M.paperId]