thorimur 018020d36f fix: uninterpolated error message in registerRpcProcedure (#2547)		2023-09-18 11:39:04 +02:00
..
Basic.lean	chore: move Std.* data structures to Lean.*	2022-09-26 05:46:04 -07:00
Deriving.lean	feat: dynamic quotations for categories	2022-10-18 14:59:14 -07:00
RequestHandling.lean	fix: uninterpolated error message in registerRpcProcedure (#2547)	2023-09-18 11:39:04 +02:00