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.

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: Future

Milestone Future deleted

Note: See TracTickets for help on using tickets.