This repository was archived by the owner on Jun 9, 2025. It is now read-only.

Remove useless constructor (#74) #216

Job	Run time
Check code formatting, typecheck the code	33s
	33s

Provide feedback