Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
←
Previous Change
Next Change
→
Changeset
8a97248
for
src/GenPoly
Timestamp:
Feb 3, 2023, 1:28:36 PM (
3 years
ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT
,
ast-experimental
,
master
Children:
2125443a
Parents:
7a24d76
Message:
switch from old trait syntax to new trait syntax using forall clause
(No files)
Note:
See
TracChangeset
for help on using the changeset viewer.
Download in other formats:
Unified Diff
Zip Archive