fix README

affeldt-aist · Dec 15, 2020 · 3e21b1c · 3e21b1c
1 parent 91fca8b
commit 3e21b1c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -86,7 +86,7 @@ This library has been applied to other formalizations:
 
 ![Available monads](./hier.png "Available Monads")
 
-## FIles.
+## Files
 
  - [monae_lib.v](./monae_lib.v): simple additions to base libraries
 - [hierarchy.v](./hierarchy.v): hierarchy of monadic effects

diff --git a/meta.yml b/meta.yml
@@ -153,7 +153,7 @@ documentation: |-
 
   ![Available monads](./hier.png "Available Monads")
 
-  ## FIles.
+  ## Files
 
    - [monae_lib.v](./monae_lib.v): simple additions to base libraries
   - [hierarchy.v](./hierarchy.v): hierarchy of monadic effects