Commit a1492abc authored by Hai Dang's avatar Hai Dang
Browse files

Add another TODO

parent 776c5a0a
......@@ -4,7 +4,7 @@ From orc11 Require Import base.
From stdpp Require Import options.
(* TODO: upstream to stdpp *)
(* TODO: cleanup unused lemmas *)
Section prefixes.
Context {A: Type}.
Implicit Types (B: Type) (l: list A) (x : A).
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment