Ed Ayers c3f58a7eab feat: add a message if Lean 4 is called with the Lean 3 extension		2022-07-29 11:08:51 +00:00
..
Basic.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
EState.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Except.lean	feat: add a message if Lean 4 is called with the Lean 3 extension	2022-07-29 11:08:51 +00:00
ExceptCps.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
Id.lean	chore: enforce naming convention for theorems	2021-08-07 12:48:38 -07:00
Lawful.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
Option.lean	chore: remove OptionM	2022-05-04 15:30:10 -07:00
Reader.lean	chore: unused variables	2022-06-07 16:47:04 -07:00
State.lean	refactor: unname some unused variables	2022-06-07 16:37:45 -07:00
StateCps.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00
StateRef.lean	chore: convert doc/mod comments from /- to /--//-! (#1354)	2022-07-22 12:05:31 -07:00