Skip to content
Idris2 and External Libs

Make CONS, NIL, JUST and NOTHING constructors have uniform na… #1222

Sign in to view logs

Make CONS, NIL, JUST and NOTHING constructors have uniform na…

Make CONS, NIL, JUST and NOTHING constructors have uniform na… #1222

macos-self-host-chez

macos-self-host-chez
succeeded Feb 11, 2025 in 17m 33s