Quyen questions

• taking the first type in the list of tuple
• How to present big_int?
• Transform a pair of int list to boolean matrix in OCaml
• The extraction of coq type nat into which type of ocaml so that I can have a certified program
• remove duplicate string and empty string
• string to list of char

Quyen answers