Skip to content

Add a test case about overriding the prelude#3

Open
nomeata wants to merge 2 commits intoleanprover:masterfrom nomeata:overriden-prelude
+25

Commits

Commits on Nov 16, 2023