Timestamp:
May 27, 2025, 3:43:37 PM (4 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
7592f42
Parents:
8d049ad
Message:

add citation for dependent types

(No files)

Note: See TracChangeset for help on using the changeset viewer.