Change History for ExplicitForall

Version Date Author Comment
21 6 years Ian Lynagh
20 6 years Ian Lynagh Report Delta, with forall as a keyword in types only
19 6 years Ian Lynagh
18 7 years Ian Lynagh
17 7 years Ian Lynagh
16 7 years Ian Lynagh Just moved pros/cons
15 7 years Ian Lynagh
14 7 years Ian Lynagh
13 7 years Ian Lynagh
12 7 years Ian Lynagh
11 7 years Ian Lynagh
10 7 years Ian Lynagh
9 7 years Ian Lynagh
8 7 years Ian Lynagh
7 7 years Ian Lynagh
6 7 years Ian Lynagh
5 7 years Ian Lynagh
4 7 years Ian Lynagh
3 7 years Ian Lynagh
2 8 years Niklas Broberg
1 8 years Niklas Broberg