GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-29 09:58:54 -06:00
Code Issues Packages Projects Releases Wiki Activity

Make HTML template a bit more generic

Browse Source
This commit is contained in:
John J. Camilleri
2018-11-13 21:46:28 +01:00
parent 20efc48e21
commit 7acbd54f2d
5 changed files with 18 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
doc/synopsis/additional.txt
View File

@@ -7,8 +7,7 @@
==The Prelude module==
The ``Prelude`` defines commonly used utility functions, in particular for
strings and booleans.
The ``Prelude`` defines commonly used utility functions, in particular for strings and booleans.
|| Oper | Type | Explanation |
| ``SS`` | ``Type`` | the type ``{s : Str}``