Matei Adriel 7ada064c93 Better telescope setup		2022-09-25 22:03:11 +02:00
..
deriving.json	More snippets for purescript and stuff	2022-08-08 17:25:54 +03:00
imports.json	oops, accidentally deleted shit	2022-08-10 16:43:26 +03:00
other.json	Better telescope setup	2022-09-25 22:03:11 +02:00