kadmin 109583e215 Update w/ comments
Removes uses of ty() where a method is implemented on TypeFoldable, and also directly formats
a Term.
2022-01-17 20:01:21 +00:00
..
2022-01-17 20:01:21 +00:00
2022-01-15 01:16:55 +00:00
2021-12-15 13:30:26 +11:00
2022-01-15 01:16:55 +00:00
2022-01-15 01:16:55 +00:00
2022-01-15 21:26:20 +01:00
2022-01-15 01:16:55 +00:00
2022-01-15 01:16:55 +00:00
2021-12-13 17:09:16 +00:00
2022-01-15 01:16:55 +00:00
2022-01-15 01:16:55 +00:00