Open bhericher opened 8 years ago
As for the version 0.5.0, you write : result type of a program based on freek[PRG] is no more PRG.Cop but PRG.Cop based on new Program[PRG]
I guess you mean : result type of a program based on freek[PRG] is no more PRG#Cop but PRG.Cop based on new Program[PRG]
As for the version 0.5.0, you write : result type of a program based on freek[PRG] is no more PRG.Cop but PRG.Cop based on new Program[PRG]
I guess you mean : result type of a program based on freek[PRG] is no more PRG#Cop but PRG.Cop based on new Program[PRG]