DAML Validator Wishlist This is intended to be a DAML community draft of a "requirements/desiderata" document for the DAML validator. Id true http://www.daml.org/people/mdean/validator-wishlist.daml http://www.isi.edu/webscripter/mrf-validator.d.daml http://www.isi.edu/webscripter/WSReportForValidator-todo.d.daml http://www.isi.edu/webscripter/WSReportForValidator-done.d.daml http://www.daml.org/people/drager/validator-wishlist.daml http://www.isi.edu/webscripter/todo.o.daml#ToDoItem Summary Id http://www.isi.edu/webscripter/todo.o.daml#label Project Id http://www.isi.edu/webscripter/todo.o.daml#project false Priority Id http://www.isi.edu/webscripter/todo.o.daml#priority Description Id http://www.isi.edu/webscripter/todo.o.daml#description Author Id http://www.isi.edu/webscripter/todo.o.daml#author Entered Id http://www.isi.edu/webscripter/todo.o.daml#entered ClosureReport ID false Id http://www.isi.edu/webscripter/todo.o.daml#todoitemid true Closed ClosureReport ID http://www.isi.edu/webscripter/todo.o.daml#closed Closing Remark ClosureReport ID http://www.isi.edu/webscripter/todo.o.daml#remark Entered false