Skip to content

Activity

Fix newline escaping in haddock for Pretty Char instance (#255)

Pull request merge
quchenpushed 1 commit to master • eccc839…5db8a0f • 
on Nov 7, 2024

Rename aux directory to misc […]

quchencreated rename-aux-directory • ea17fa6 • 
on Apr 26, 2024

Add instance ann ~ Void => Pretty (Doc ann) (#234)

Pull request merge
quchenpushed 1 commit to master • 7e32c01…eccc839 • 
on Apr 26, 2024