Skip to content
Lint Code Base

Make CONS, NIL, JUST and NOTHING constructors have uniform names #6716

Sign in to view logs

Make CONS, NIL, JUST and NOTHING constructors have uniform names

Make CONS, NIL, JUST and NOTHING constructors have uniform names #6716

Lint Code Base

Lint Code Base
succeeded Feb 9, 2025 in 1m 42s