cakeml/unverified/lem at master · Gordon-Sau/cakeml · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
alt_semantics		alt_semantics
lem_lib_stub		lem_lib_stub
README.md		README.md
ast.lem		ast.lem
evaluate.lem		evaluate.lem
ffi.lem		ffi.lem
fpOpt.lem		fpOpt.lem
fpSem.lem		fpSem.lem
fpValTree.lem		fpValTree.lem
namespace.lem		namespace.lem
primTypes.lem		primTypes.lem
realOps.lem		realOps.lem
semanticPrimitives.lem		semanticPrimitives.lem
simpleIO.lem		simpleIO.lem
tokens.lem		tokens.lem
typeSystem.lem		typeSystem.lem

README.md

A parking lot for the old Lem files that were used for defining the semantics

The Lem version used: rems-project/lem@194778e97d1e9a41ebbe34a8e4d5fb2d10395ba7