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 6 years Ian Lynagh
17 6 years Ian Lynagh
16 6 years Ian Lynagh Just moved pros/cons
15 6 years Ian Lynagh
14 6 years Ian Lynagh
13 6 years Ian Lynagh
12 6 years Ian Lynagh
11 6 years Ian Lynagh
10 6 years Ian Lynagh
9 6 years Ian Lynagh
8 6 years Ian Lynagh
7 6 years Ian Lynagh
6 6 years Ian Lynagh
5 6 years Ian Lynagh
4 6 years Ian Lynagh
3 6 years Ian Lynagh
2 8 years Niklas Broberg
1 8 years Niklas Broberg