diff options
| author | Eduardo Julian | 2019-04-17 19:27:17 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-17 19:27:17 -0400 |
| commit | c501d1357241df39573893d9b6dbcf44a22f4554 (patch) | |
| tree | 1ad59e5611318390ad322aa83c3129b154d94530 /src | |
| parent | d544e863afbb5b52ba0299724846497fdaf308d1 (diff) | |
Pattern-matching can now handle universally quantified sums.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions