git.iko.soy/Idris-dev
on master help sign in
changes to primitive.rst
671bb4dMartin Baker
docs/proofs/primitive.rst+2−2
compare with master
unifiedsplit
@@ -323,7 +323,7 @@ Primitive Operators
323
323
324
324
325Read and Write State
325Read and Write State
326−====================
326+--------------------
327
327
328.. list-table::
328.. list-table::
329 :widths: 10 30
329 :widths: 10 30
@@ -424,7 +424,7 @@ Read and Write State
424 check : (env : List (TTName, Binder TT)) -> (tm : Raw) -> Elab (TT, TT)
424 check : (env : List (TTName, Binder TT)) -> (tm : Raw) -> Elab (TT, TT)
425
425
426Error Handling
426Error Handling
427−==============
427+--------------
428
428
429.. list-table::
429.. list-table::
430 :widths: 10 30
430 :widths: 10 30