Some additional patterns have been added to the prelude.
authorimode <immediate.mode@gmail.com>
Thu, 13 Dec 2018 20:05:17 +0000 (12:05 -0800)
committerimode <immediate.mode@gmail.com>
Thu, 13 Dec 2018 20:05:17 +0000 (12:05 -0800)
commitaa6664a33c2e62fd7004b0e98b728306dadd4d62
treea77f7a402cb4c3155304d0c328da3d024569f60d
parent96ba29f44354845ff1086bea39d387d6b3ac7873
Some additional patterns have been added to the prelude.
prelude.modal