+2 −1

idris2.yml

.github/workflows/idris2.yml

+7 −0

Makefile

Makefile

+6 −0

idris-events.el

idris-events.el

+96 −0

idris-test-utils.el

idris-test-utils.el

+105 −107

idris-tests2.el

idris-tests2.el

+42 −0

idris-tests3.el

idris-tests3.el

+27 −7

inferior-idris.el

inferior-idris.el

+9 −0

AddClause.idr

test-data/AddClause.idr

+7 −0

AddMissing.idr

test-data/AddMissing.idr

+7 −0

CaseSplit.idr

test-data/CaseSplit.idr

+27 −0

GenerateDef.idr

test-data/GenerateDef.idr

+10 −0

MakeLemma.idr

test-data/MakeLemma.idr

+4 −0

MakeWithBlock.idr

test-data/MakeWithBlock.idr

BIN

MetavarTest.ibc

test-data/MetavarTest.ibc

BIN

ProofSearch.ibc

test-data/ProofSearch.ibc

+14 −0

Refine.idr

test-data/Refine.idr

+9 −0

TypeAtPoint.idr

test-data/TypeAtPoint.idr