| .. |
|
anonymous_constructor_error_msg.lean
|
doc: document issue
|
2020-02-18 10:41:12 -08:00 |
|
bind_with_existential_types.lean
|
chore: avoid Has prefix in type classes
|
2020-10-27 18:29:19 -07:00 |
|
equation_compiler_slow_with_many_constructors.lean
|
doc: add workarounds, and describe what we need in the new equation compiler
|
2020-02-05 11:46:35 -08:00 |
|
equation_compiler_slow_with_many_constructors2.lean
|
chore: avoid Has prefix in type classes
|
2020-10-27 18:29:19 -07:00 |
|
error_aux_decl_exists.lean
|
doc: document issue
|
2020-02-18 10:52:12 -08:00 |
|
ImplicitLambdas.lean
|
|
|
|
invalid_field_notation_error_msg.lean
|
chore: remove new_frontend from tests
|
2020-10-25 09:16:38 -07:00 |
|
issues1.lean
|
|
|
|
issues2.lean
|
|
|
|
issues3.lean
|
chore: avoid Has prefix in type classes
|
2020-10-27 18:29:19 -07:00 |
|
issues4.lean
|
|
|
|
issues5.lean
|
|
|
|
issues6.lean
|
|
|
|
issues7.lean
|
|
|
|
issues8.lean
|
fix: malformed/misaligned markdown code fences
|
2022-07-20 11:12:42 +02:00 |
|
leaky_tmp_metavars.lean
|
|
|
|
leaky_tmp_metavars2.lean
|
|
|
|
let_destruct_inside_forall.lean
|
|
|
|
namespace_vs_prefix.lean
|
|
|
|
nested_namespace_vs_prefix.lean
|
|
|
|
overload_with_list_coercion.lean
|
|
|
|
patternIssue.lean
|
test: pattern confusion example
|
2019-12-19 13:36:22 -08:00 |
|
private.lean
|
|
|
|
ProjNotation.lean
|
|
|
|
Reid1.lean
|
|
|
|
structInst.lean
|
chore: avoid Has prefix in type classes
|
2020-10-27 18:29:19 -07:00 |
|
structure_same_names2.lean
|
doc: elabissue for structure same-name error msg
|
2020-02-18 10:52:44 -08:00 |
|
typeclass_nested_validate.lean
|
|
|
|
typeclass_triggers_typeclass.lean
|
|
|
|
typeclasses_with_emetavariables.lean
|
|
|
|
typeclasses_with_preconditions.lean
|
chore: style use · instead of . for lambda dot notation
|
2022-03-11 07:49:03 -08:00 |
|
typeclasses_with_umetavariables.lean
|
|
|
|
variable_universe_bug.lean
|
feat: subsume variables under variable
|
2021-01-22 14:36:05 +01:00 |
|
vars.lean
|
feat: subsume variables under variable
|
2021-01-22 14:36:05 +01:00 |
|
zmod.lean
|
chore: move pp_options.cpp to Lean
|
2021-01-27 14:16:12 +01:00 |
