Leni Aniva a3a244159b chore: Version bump to 0.2.13		2024-03-16 19:00:28 -07:00
..
Environment.lean	fix: Use Arrays only in the ABI	2024-03-14 22:40:14 -07:00
Goal.lean	feat: Prevent crash during rootExpr call	2024-01-30 17:22:20 -08:00
Library.lean	feat(lib): Export goal.print function	2024-03-14 16:34:01 -07:00
Protocol.lean	fix: Use Arrays only in the ABI	2024-03-14 22:40:14 -07:00
Serial.lean	fix: Pass options by reference	2024-03-11 21:31:59 -07:00
Version.lean	chore: Version bump to 0.2.13	2024-03-16 19:00:28 -07:00