Opened 17 years ago
Last modified 11 years ago
#148 new defect
Add "continual validation" mode to PGIP
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 5:PGIP-design | Keywords: | |
Cc: |
Description
We want to add a continual validation mode to PGIP, to support whole-file development in the style of Agda. We have discussed how to do this several times, but ideas remain to be written down.
Note: See
TracTickets for help on using
tickets.
Milestone Future deleted