Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 8d082302f9 change text to better reflect current state master depsterr 2022-10-28 16:23:22 +0200
• b5b90ddd37 intensionality hell depsterr 2022-10-28 16:12:38 +0200
• 9c5ae69cbd painful pathp depsterr 2022-10-09 15:57:21 +0200
• 6d3af73b9f Structures: Pi -> pi depsterr 2022-10-09 01:13:18 +0200
• 4965c316c9 fix CwF to be lagda depsterr 2022-10-09 01:11:34 +0200
• 8e1cc0e551 started some work on ∏ types depsterr 2022-10-09 01:08:09 +0200
• efd7a84631 CwFs: grammatical error (last small commit today, I promise) depsterr 2022-10-08 13:21:59 +0200
• 79d8c80446 CwF: undo the last change, since f will be inferred from the functor depsterr 2022-10-08 13:20:24 +0200
• 223b2e0447 CwF: make level of Fams an explicit argument depsterr 2022-10-08 13:19:07 +0200
• d31b3ab50b CwF: update wording to reflect change from CwF to is-CwF depsterr 2022-10-08 13:17:12 +0200
• e704dde2a3 Fams: less clutter in description of morphisms depsterr 2022-10-08 13:12:39 +0200
• ece686e955 update README depsterr 2022-10-08 13:10:55 +0200
• a0a1d1a7ed CwF: cleaned up code, and comments depsterr 2022-10-08 13:03:08 +0200
• 38a0214ead add csl file depsterr 2022-10-08 02:34:27 +0200
• ebd6aee026 slightly less confusing text depsterr 2022-10-07 23:13:53 +0200
• aa6801bcfc complete definition of CwF. quite ugly, needs cleaning up. depsterr 2022-10-07 23:05:46 +0200
• 7f068f1989 updated readme depsterr 2022-10-06 20:45:47 +0200
• 710bdc21c2 started work on defining a CwF depsterr 2022-10-06 20:39:10 +0200
• f1644f56c7 define the category of families depsterr 2022-10-06 19:43:55 +0200
• 41339d381d README.md: add version info depsterr 2022-10-06 11:31:00 +0200
• f89494419b Began initial work depsterr 2022-10-06 00:05:15 +0200