leanexe/LeanExe/IR at main · jsmorph/leanexe · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
Append.lean		Append.lean
ArrayLiteral.lean		ArrayLiteral.lean
ArrayLoop.lean		ArrayLoop.lean
Build.lean		Build.lean
BuildRecord.lean		BuildRecord.lean
Call.lean		Call.lean
Combinators.lean		Combinators.lean
Copy.lean		Copy.lean
Correct.lean		Correct.lean
Denote.lean		Denote.lean
DenoteFrame.lean		DenoteFrame.lean
DenoteStmt.lean		DenoteStmt.lean
Expr.lean		Expr.lean
Fold.lean		Fold.lean
Function.lean		Function.lean
Hint.lean		Hint.lean
ListFold.lean		ListFold.lean
Live.lean		Live.lean
Loop.lean		Loop.lean
OneArray.lean		OneArray.lean
Read.lean		Read.lean
Record.lean		Record.lean
RecordRead.lean		RecordRead.lean
Recursion.lean		Recursion.lean
Release.lean		Release.lean
RepeatWhile.lean		RepeatWhile.lean
Run.lean		Run.lean
Stmt.lean		Stmt.lean
TailLoop.lean		TailLoop.lean
Tuple.lean		Tuple.lean
Update.lean		Update.lean
Words.lean		Words.lean