From d2c84b3a2565939fa58ce94cd9529f7681832aaf Mon Sep 17 00:00:00 2001 From: Vadim Zaliva Date: Thu, 27 Sep 2018 09:24:33 -0500 Subject: [PATCH] formatting --- README.md | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index 79215ee..fb40ae8 100644 --- a/README.md +++ b/README.md @@ -62,12 +62,11 @@ To install all required dependenceis: This plugin is written using TemplateCoq. After importing you run template program `mkSwitch` providing the following parameters: - * type (`A`) - * boolean equality predicate on this type (`P: A->A->bool`) - * list of choices `(A * string)` where each element is a tuple of - a constant of type `A` and name of a constructor (as a string). - * name of a new inductive type - * name of selection function +* type (`A`) +* boolean equality predicate on this type (`P: A->A->bool`) +* list of choices `(A * string)` where each element is a tuple of a constant of type `A` and a name of a constructor (as a string). +* name of a new inductive type +* name of selection function For example, running: @@ -117,5 +116,5 @@ Definition Ex1 (n:nat) : T := # Contact # - * Repository: https://github.com/vzaliva/coq-switch - * Questions: [Vadim Zaliva](mailto:vzaliva@cmu.edu) +* Repository: https://github.com/vzaliva/coq-switch +* Questions: [Vadim Zaliva](mailto:vzaliva@cmu.edu)