The prelude has been fixed.
authorimode <immediate.mode@gmail.com>
Mon, 17 Dec 2018 06:03:40 +0000 (22:03 -0800)
committerimode <immediate.mode@gmail.com>
Mon, 17 Dec 2018 06:03:40 +0000 (22:03 -0800)
commitad72e1cac5a80a495b213135650e2d0bbbf0e014
tree658426ce9e0e65cd1f234de3c61bb5adcd48d0f6
parentaa6664a33c2e62fd7004b0e98b728306dadd4d62
The prelude has been fixed.
prelude.modal