changes to primitive.rst
commit671bb4d633ec02560908f72aadee7e7a32fe414f
authorMartin Baker <git87465@martinb.com>
dateWed 22 May 2019, 08:55 (7 years ago)
parent543a382
docs/proofs/primitive.rst+2−2
@@ -323,7 +323,7 @@ Primitive Operators
323323
324324
325325Read and Write State
326−====================
326+--------------------
327327
328328.. list-table::
329329 :widths: 10 30
@@ -424,7 +424,7 @@ Read and Write State
424424 check : (env : List (TTName, Binder TT)) -> (tm : Raw) -> Elab (TT, TT)
425425
426426Error Handling
427−==============
427+--------------
428428
429429.. list-table::
430430 :widths: 10 30