diff options
| author | Gaëtan Gilbert | 2018-11-06 14:41:56 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-22 13:33:22 +0100 |
| commit | a7cf802627a9842862c6290496d73a815ab2f42b (patch) | |
| tree | a059410470ecdcef666df53a36c995ff3b11e090 /kernel/nativelambda.mli | |
| parent | 2d0be200ab9a2e3a0ff7b383078aabe70f24dd82 (diff) | |
Deprecate Typeclasses Axioms Are Instances
People should use Declare Instance instead.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions