Permalink

	Failed to load latest commit information.
	sample	use typedef for nat.	Jul 30, 2018
	src	Use Printer.pr_constr_env instead of Printer.pr_constr.	Apr 25, 2018
	theories	rename plugin name: monomorphization to codegen.	Sep 15, 2017
	.gitignore	initial commit.	Jul 20, 2017
	LICENSE	initial commit.	Jul 20, 2017
	Makefile	add plugin target.	Apr 25, 2018
	README.md	Coq 8.8 and OCaml 4.06.	Apr 25, 2018
	_CoqProject	linear.ml added.	Dec 21, 2017