diff options
author | sjakie | 2001-08-28 07:12:28 +0000 |
---|---|---|
committer | sjakie | 2001-08-28 07:12:28 +0000 |
commit | 3b34e9c855b63fb473ace9842c5eb3f98713d835 (patch) | |
tree | fb53db52b7cc849a4d3dd4ac9121fb41ba047ecb /sucl/strat.dcl | |
parent | universally quantified types added (diff) |
universally quantified types added
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@678 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'sucl/strat.dcl')
0 files changed, 0 insertions, 0 deletions