Skip to content
Idris2 and External Libs

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

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 #1221

This job was skipped