Sebastian Ullrich 9b4feb3d13 perf: work around missed TCO		2022-04-29 16:16:09 +02:00
..
Basic.lean	chore: style	2022-04-07 17:35:05 -07:00
FromToJson.lean	chore: fix codebase after removing auto pure	2022-02-03 18:08:14 -08:00
Parser.lean	perf: work around missed TCO	2022-04-29 16:16:09 +02:00
Printer.lean	chore: remove some [specialize] annotations	2022-01-18 09:24:06 -08:00
Stream.lean