An error occurred while fetching folder content.
Select Git revision
walint
-
-
- Open in your IDE
- Download source code
stuebinm authored
it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
Name | Last commit | Last update |
---|