diff --git a/site/acl.cool/OVERVIEW_GP1.html b/site/acl.cool/OVERVIEW_GP1.html index 8a6e89a..c2d1f82 100644 --- a/site/acl.cool/OVERVIEW_GP1.html +++ b/site/acl.cool/OVERVIEW_GP1.html @@ -1,5 +1,4 @@ -
GP1 is a statically typed, multi-paradigm programming language with an emphasis on brevity and explicitness. It provides both value and reference types, as well as higher-order functions and first-class diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionBold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionBold.woff2 new file mode 100644 index 0000000..9a833e2 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionBold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionBoldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionBoldItalic.woff2 new file mode 100644 index 0000000..a3e79f1 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionBoldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionItalic.woff2 new file mode 100644 index 0000000..66ccb73 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionMedium.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionMedium.woff2 new file mode 100644 index 0000000..ab2cb3d Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionMedium.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionMediumItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionMediumItalic.woff2 new file mode 100644 index 0000000..9d7bb1f Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionMediumItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionRegular.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionRegular.woff2 new file mode 100644 index 0000000..ff2f86a Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionRegular.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemibold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemibold.woff2 new file mode 100644 index 0000000..b7d8109 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemibold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemiboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemiboldItalic.woff2 new file mode 100644 index 0000000..65def60 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-CaptionSemiboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlack.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlack.woff2 new file mode 100644 index 0000000..75b9b3f Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlack.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlackItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlackItalic.woff2 new file mode 100644 index 0000000..d6ff53f Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBlackItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayBold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBold.woff2 new file mode 100644 index 0000000..f25169f Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayBoldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBoldItalic.woff2 new file mode 100644 index 0000000..82fe1ea Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayBoldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtrabold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtrabold.woff2 new file mode 100644 index 0000000..099a2fe Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtrabold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtraboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtraboldItalic.woff2 new file mode 100644 index 0000000..a5cbbe7 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtraboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralight.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralight.woff2 new file mode 100644 index 0000000..203bc92 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralight.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralightItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralightItalic.woff2 new file mode 100644 index 0000000..a499204 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayExtralightItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayItalic.woff2 new file mode 100644 index 0000000..2b1b4c8 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayLight.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayLight.woff2 new file mode 100644 index 0000000..75ec32e Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayLight.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayLightItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayLightItalic.woff2 new file mode 100644 index 0000000..c803d7f Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayLightItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayMedium.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayMedium.woff2 new file mode 100644 index 0000000..cac14cc Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayMedium.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayMediumItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayMediumItalic.woff2 new file mode 100644 index 0000000..0c77c41 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayMediumItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplayRegular.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplayRegular.woff2 new file mode 100644 index 0000000..2278565 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplayRegular.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemibold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemibold.woff2 new file mode 100644 index 0000000..2dd75e5 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemibold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemiboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemiboldItalic.woff2 new file mode 100644 index 0000000..0b36ae0 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-DisplaySemiboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadBold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadBold.woff2 new file mode 100644 index 0000000..9d90c5e Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadBold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic.woff2 new file mode 100644 index 0000000..0fa1f42 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtrabold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtrabold.woff2 new file mode 100644 index 0000000..4b06589 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtrabold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtraboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtraboldItalic.woff2 new file mode 100644 index 0000000..3c96359 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadExtraboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadItalic.woff2 new file mode 100644 index 0000000..d1902ee Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadLight.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadLight.woff2 new file mode 100644 index 0000000..4fff4eb Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadLight.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadLightItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadLightItalic.woff2 new file mode 100644 index 0000000..4f5b8a6 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadLightItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadMedium.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadMedium.woff2 new file mode 100644 index 0000000..c6e1263 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadMedium.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadMediumItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadMediumItalic.woff2 new file mode 100644 index 0000000..e29027a Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadMediumItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadRegular.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadRegular.woff2 new file mode 100644 index 0000000..5bb29d2 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadRegular.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemibold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemibold.woff2 new file mode 100644 index 0000000..bafbe3b Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemibold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemiboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemiboldItalic.woff2 new file mode 100644 index 0000000..635f8a3 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-SubheadSemiboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextBold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextBold.woff2 new file mode 100644 index 0000000..1045d4b Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextBold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextBoldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextBoldItalic.woff2 new file mode 100644 index 0000000..1ac4cbf Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextBoldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextExtrabold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextExtrabold.woff2 new file mode 100644 index 0000000..6059825 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextExtrabold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextExtraboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextExtraboldItalic.woff2 new file mode 100644 index 0000000..85ad3b0 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextExtraboldItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextItalic.woff2 new file mode 100644 index 0000000..c4fcaef Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextLight.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextLight.woff2 new file mode 100644 index 0000000..cbdba75 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextLight.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextLightItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextLightItalic.woff2 new file mode 100644 index 0000000..1a3ba9e Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextLightItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextMedium.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextMedium.woff2 new file mode 100644 index 0000000..096a989 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextMedium.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextMediumItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextMediumItalic.woff2 new file mode 100644 index 0000000..1bb29eb Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextMediumItalic.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextRegular.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextRegular.woff2 new file mode 100644 index 0000000..95f4194 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextRegular.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextSemibold.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextSemibold.woff2 new file mode 100644 index 0000000..5536f52 Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextSemibold.woff2 differ diff --git a/site/assets/fonts/LiterataTT/LiterataTT-TextSemiboldItalic.woff2 b/site/assets/fonts/LiterataTT/LiterataTT-TextSemiboldItalic.woff2 new file mode 100644 index 0000000..37ed92e Binary files /dev/null and b/site/assets/fonts/LiterataTT/LiterataTT-TextSemiboldItalic.woff2 differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_Bold.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_Bold.otf new file mode 100644 index 0000000..1f7365a Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_Bold.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_BoldItalic.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_BoldItalic.otf new file mode 100644 index 0000000..8752d10 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_BoldItalic.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_Italic.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_Italic.otf new file mode 100644 index 0000000..ffaa339 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_Italic.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_Medium.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_Medium.otf new file mode 100644 index 0000000..1935852 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_Medium.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_MediumItalic.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_MediumItalic.otf new file mode 100644 index 0000000..9c5d788 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_MediumItalic.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_Regular.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_Regular.otf new file mode 100644 index 0000000..e8631c1 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_Regular.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_Semibold.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_Semibold.otf new file mode 100644 index 0000000..d1eb16b Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_Semibold.otf differ diff --git a/site/assets/fonts/STIXTwoText/STIXTwoText_SemiboldItalic.otf b/site/assets/fonts/STIXTwoText/STIXTwoText_SemiboldItalic.otf new file mode 100644 index 0000000..899a504 Binary files /dev/null and b/site/assets/fonts/STIXTwoText/STIXTwoText_SemiboldItalic.otf differ diff --git a/site/assets/fonts/Source_Sans_3/OFL.txt b/site/assets/fonts/Source_Sans_3/OFL.txt new file mode 100644 index 0000000..2f7468b --- /dev/null +++ b/site/assets/fonts/Source_Sans_3/OFL.txt @@ -0,0 +1,93 @@ +Copyright 2010-2020 Adobe (http://www.adobe.com/), with Reserved Font Name 'Source'. All Rights Reserved. Source is a trademark of Adobe in the United States and/or other countries. + +This Font Software is licensed under the SIL Open Font License, Version 1.1. +This license is copied below, and is also available with a FAQ at: +https://openfontlicense.org + + +----------------------------------------------------------- +SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007 +----------------------------------------------------------- + +PREAMBLE +The goals of the Open Font License (OFL) are to stimulate worldwide +development of collaborative font projects, to support the font creation +efforts of academic and linguistic communities, and to provide a free and +open framework in which fonts may be shared and improved in partnership +with others. + +The OFL allows the licensed fonts to be used, studied, modified and +redistributed freely as long as they are not sold by themselves. The +fonts, including any derivative works, can be bundled, embedded, +redistributed and/or sold with any software provided that any reserved +names are not used by derivative works. The fonts and derivatives, +however, cannot be released under any other type of license. The +requirement for fonts to remain under this license does not apply +to any document created using the fonts or their derivatives. + +DEFINITIONS +"Font Software" refers to the set of files released by the Copyright +Holder(s) under this license and clearly marked as such. This may +include source files, build scripts and documentation. + +"Reserved Font Name" refers to any names specified as such after the +copyright statement(s). + +"Original Version" refers to the collection of Font Software components as +distributed by the Copyright Holder(s). + +"Modified Version" refers to any derivative made by adding to, deleting, +or substituting -- in part or in whole -- any of the components of the +Original Version, by changing formats or by porting the Font Software to a +new environment. + +"Author" refers to any designer, engineer, programmer, technical +writer or other person who contributed to the Font Software. + +PERMISSION & CONDITIONS +Permission is hereby granted, free of charge, to any person obtaining +a copy of the Font Software, to use, study, copy, merge, embed, modify, +redistribute, and sell modified and unmodified copies of the Font +Software, subject to the following conditions: + +1) Neither the Font Software nor any of its individual components, +in Original or Modified Versions, may be sold by itself. + +2) Original or Modified Versions of the Font Software may be bundled, +redistributed and/or sold with any software, provided that each copy +contains the above copyright notice and this license. These can be +included either as stand-alone text files, human-readable headers or +in the appropriate machine-readable metadata fields within text or +binary files as long as those fields can be easily viewed by the user. + +3) No Modified Version of the Font Software may use the Reserved Font +Name(s) unless explicit written permission is granted by the corresponding +Copyright Holder. This restriction only applies to the primary font name as +presented to the users. + +4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font +Software shall not be used to promote, endorse or advertise any +Modified Version, except to acknowledge the contribution(s) of the +Copyright Holder(s) and the Author(s) or with their explicit written +permission. + +5) The Font Software, modified or unmodified, in part or in whole, +must be distributed entirely under this license, and must not be +distributed under any other license. The requirement for fonts to +remain under this license does not apply to any document created +using the Font Software. + +TERMINATION +This license becomes null and void if any of the above conditions are +not met. + +DISCLAIMER +THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, +EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT +OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE +COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, +INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL +DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING +FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM +OTHER DEALINGS IN THE FONT SOFTWARE. diff --git a/site/assets/fonts/Source_Sans_3/README.txt b/site/assets/fonts/Source_Sans_3/README.txt new file mode 100644 index 0000000..ac571ee --- /dev/null +++ b/site/assets/fonts/Source_Sans_3/README.txt @@ -0,0 +1,79 @@ +Source Sans 3 Variable Font +=========================== + +This download contains Source Sans 3 as both variable fonts and static fonts. + +Source Sans 3 is a variable font with this axis: + wght + +This means all the styles are contained in these files: + SourceSans3-VariableFont_wght.ttf + SourceSans3-Italic-VariableFont_wght.ttf + +If your app fully supports variable fonts, you can now pick intermediate styles +that aren’t available as static fonts. Not all apps support variable fonts, and +in those cases you can use the static font files for Source Sans 3: + static/SourceSans3-ExtraLight.ttf + static/SourceSans3-Light.ttf + static/SourceSans3-Regular.ttf + static/SourceSans3-Medium.ttf + static/SourceSans3-SemiBold.ttf + static/SourceSans3-Bold.ttf + static/SourceSans3-ExtraBold.ttf + static/SourceSans3-Black.ttf + static/SourceSans3-ExtraLightItalic.ttf + static/SourceSans3-LightItalic.ttf + static/SourceSans3-Italic.ttf + static/SourceSans3-MediumItalic.ttf + static/SourceSans3-SemiBoldItalic.ttf + static/SourceSans3-BoldItalic.ttf + static/SourceSans3-ExtraBoldItalic.ttf + static/SourceSans3-BlackItalic.ttf + +Get started +----------- + +1. Install the font files you want to use + +2. Use your app's font picker to view the font family and all the +available styles + +Learn more about variable fonts +------------------------------- + + https://developers.google.com/web/fundamentals/design-and-ux/typography/variable-fonts + https://variablefonts.typenetwork.com + https://medium.com/variable-fonts + +In desktop apps + + https://theblog.adobe.com/can-variable-fonts-illustrator-cc + https://helpx.adobe.com/nz/photoshop/using/fonts.html#variable_fonts + +Online + + https://developers.google.com/fonts/docs/getting_started + https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Fonts/Variable_Fonts_Guide + https://developer.microsoft.com/en-us/microsoft-edge/testdrive/demos/variable-fonts + +Installing fonts + + MacOS: https://support.apple.com/en-us/HT201749 + Linux: https://www.google.com/search?q=how+to+install+a+font+on+gnu%2Blinux + Windows: https://support.microsoft.com/en-us/help/314960/how-to-install-or-remove-a-font-in-windows + +Android Apps + + https://developers.google.com/fonts/docs/android + https://developer.android.com/guide/topics/ui/look-and-feel/downloadable-fonts + +License +------- +Please read the full license text (OFL.txt) to understand the permissions, +restrictions and requirements for usage, redistribution, and modification. + +You can use them in your products & projects – print or digital, +commercial or otherwise. + +This isn't legal advice, please consider consulting a lawyer and see the full +license for all details. diff --git a/site/assets/fonts/Source_Sans_3/SourceSans3-Italic-VariableFont_wght.ttf b/site/assets/fonts/Source_Sans_3/SourceSans3-Italic-VariableFont_wght.ttf new file mode 100644 index 0000000..660ac45 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/SourceSans3-Italic-VariableFont_wght.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/SourceSans3-VariableFont_wght.ttf b/site/assets/fonts/Source_Sans_3/SourceSans3-VariableFont_wght.ttf new file mode 100644 index 0000000..8c15d26 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/SourceSans3-VariableFont_wght.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Black.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Black.ttf new file mode 100644 index 0000000..039881b Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Black.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-BlackItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-BlackItalic.ttf new file mode 100644 index 0000000..7e16953 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-BlackItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Bold.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Bold.ttf new file mode 100644 index 0000000..969d7d4 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Bold.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-BoldItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-BoldItalic.ttf new file mode 100644 index 0000000..22819c3 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-BoldItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBold.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBold.ttf new file mode 100644 index 0000000..b6afbef Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBold.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBoldItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBoldItalic.ttf new file mode 100644 index 0000000..f9b6c65 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraBoldItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLight.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLight.ttf new file mode 100644 index 0000000..76b03ca Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLight.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLightItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLightItalic.ttf new file mode 100644 index 0000000..e97dfa7 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-ExtraLightItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Italic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Italic.ttf new file mode 100644 index 0000000..5eb2375 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Italic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Light.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Light.ttf new file mode 100644 index 0000000..30e5618 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Light.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-LightItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-LightItalic.ttf new file mode 100644 index 0000000..f9cca7b Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-LightItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Medium.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Medium.ttf new file mode 100644 index 0000000..b1877af Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Medium.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-MediumItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-MediumItalic.ttf new file mode 100644 index 0000000..f56d00d Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-MediumItalic.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-Regular.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Regular.ttf new file mode 100644 index 0000000..c906bda Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-Regular.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBold.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBold.ttf new file mode 100644 index 0000000..5ef4af8 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBold.ttf differ diff --git a/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBoldItalic.ttf b/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBoldItalic.ttf new file mode 100644 index 0000000..3b98890 Binary files /dev/null and b/site/assets/fonts/Source_Sans_3/static/SourceSans3-SemiBoldItalic.ttf differ diff --git a/site/css/fonts.css b/site/css/fonts.css index b8b2522..9f3da46 100644 --- a/site/css/fonts.css +++ b/site/css/fonts.css @@ -1,68 +1,99 @@ @font-face { font-family: 'Heading'; - src: url('../assets/fonts/Saira/Saira_SemiCondensed-Light.ttf') format('truetype'); + src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayRegular.woff2') format('woff2'); font-weight: normal; font-style: normal; } @font-face { font-family: 'Heading'; - src: url('../assets/fonts/Saira/Saira_SemiCondensed-LightItalic.ttf') format('truetype'); + src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayItalic.woff2') format('woff2'); font-weight: normal; font-style: italic; } @font-face { font-family: 'Heading'; - src: url('../assets/fonts/Saira/Saira_SemiCondensed-SemiBold.ttf') format('truetype'); + src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayBold.woff2') format('woff2'); font-weight: bold; font-style: normal; } +@font-face { + font-family: 'Heading'; + src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayBoldItalic.woff2') format('woff2'); + font-weight: bold; + font-style: italic; +} + +@font-face { + font-family: 'Subheading'; + src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadRegular.woff2') format('woff2'); + font-weight: normal; + font-style: normal; +} +@font-face { + font-family: 'Subheading'; + src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadItalic.woff2') format('woff2'); + font-weight: normal; + font-style: italic; +} +@font-face { + font-family: 'Subheading'; + src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBold.woff2') format('woff2'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'Subheading'; + src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic.woff2') format('woff2'); + font-weight: bold; + font-style: italic; +} @font-face { font-family: 'BodySerif'; - src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Regular.woff2') format('woff2'); + src: url('../assets/fonts/STIXTwoText/STIXTwoText_Regular.otf') format('opentype'); font-weight: normal; font-style: normal; } @font-face { font-family: 'BodySerif'; - src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Italic.woff2') format('woff2'); + src: url('../assets/fonts/STIXTwoText/STIXTwoText_Italic.otf') format('opentype'); font-weight: normal; font-style: italic; } @font-face { font-family: 'BodySerif'; - src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Bold.woff2') format('woff2'); + src: url('../assets/fonts/STIXTwoText/STIXTwoText_Bold.otf') format('opentype'); font-weight: bold; font-style: normal; } @font-face { font-family: 'BodySerif'; - src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-BoldItalic.woff2') format('woff2'); + src: url('../assets/fonts/STIXTwoText/STIXTwoText_BoldItalic.otf') format('opentype'); font-weight: bold; font-style: italic; } @font-face { font-family: 'BodySans'; - src: url('../assets/fonts/Open_Sans/OpenSans-Regular.ttf') format('truetype'); + src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Regular.ttf') format('truetype'); font-weight: normal; font-style: normal; } @font-face { font-family: 'BodySans'; - src: url('../assets/fonts/Open_Sans/OpenSans-Italic.ttf') format('truetype'); + src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Italic.ttf') format('truetype'); font-weight: normal; font-style: italic; } @font-face { font-family: 'BodySans'; - src: url('../assets/fonts/Open_Sans/OpenSans-Bold.ttf') format('truetype'); + src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Bold.ttf') format('truetype'); font-weight: bold; font-style: normal; } @font-face { font-family: 'BodySans'; - src: url('../assets/fonts/Open_Sans/OpenSans-BoldItalic.ttf') format('truetype'); + src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-BoldItalic.ttf') format('truetype'); font-weight: bold; font-style: italic; } diff --git a/site/css/index.css b/site/css/index.css index 4dba39e..ab39902 100644 --- a/site/css/index.css +++ b/site/css/index.css @@ -1,23 +1,68 @@ @import url(fonts.css); +:root { + --base-font-size: 1.1rem; +} + +body { + font-size: var(--base-font-size); +} + .font-body-serif body { - font-family: "BodySerif", serif; + font-family: "BodySerif", sans-serif; } .font-body-sans body { - font-family: "BodySans", sans-serif; + font-family: "BodySans", serif; } -h1, h2, h3, h4, h5, h6 { - font-family: "Heading"; +h1 { + font-family: "Subheading"; +} + +h2, +h3, +h4, +h5, +h6 { + font-family: "Subheading"; +} + +h1 { + font-size: calc(2.1 * var(--base-font-size)); +} + +h2 { + font-size: calc(1.8 * var(--base-font-size)); +} + +h3 { + font-size: calc(1.6 * var(--base-font-size)); +} + +h4 { + font-size: calc(1.4 * var(--base-font-size)); +} + +h5 { + font-size: calc(1.2 * var(--base-font-size)); +} + +h6 { + font-size: calc(1.0 * var(--base-font-size)) } code { font-family: "Mono"; + font-size: calc(0.9 * var(--base-font-size)); +} + +code:not(pre code) { + font-weight: bold; } .container { - max-width: 800px; - margin-left: auto; - margin-right: auto; + max-width: 800px; + margin-left: auto; + margin-right: auto; } \ No newline at end of file diff --git a/site/ytheleus.org/index.dj b/site/ytheleus.org/index.dj new file mode 100644 index 0000000..aba5e49 --- /dev/null +++ b/site/ytheleus.org/index.dj @@ -0,0 +1,8 @@ +# Ytheleus | Well-Understood Programming + +You're at ytheleus.org, home page of the [Ytheleus](yth-name) programming language! + +This is not implemented yet; Ytheleus does not exist. With that out of the way, here are my vague ideas of what it should be: + ++ It's Andreas Rossberg's 1ML, but computationally pure. ++ The implementation uses dynamic superinstructions for interpretation and compiles either via "Compiling without continuations", if I decide not to put first-class multiple-resumption continuations in the lanugage, or with CPS, otherwise. \ No newline at end of file diff --git a/soupault.toml b/soupault.toml index ce320fe..7a2e741 100644 --- a/soupault.toml +++ b/soupault.toml @@ -2,138 +2,135 @@ # To learn about configuring soupault, visit https://www.soupault.app/reference-manual [settings] - # Soupault version that the config was written/generated for - # Trying to process this config with an older version will result in an error message - soupault_version = "4.11.0" +# Soupault version that the config was written/generated for +# Trying to process this config with an older version will result in an error message +soupault_version = "4.11.0" - # Stop on page processing errors? - strict = true +# Stop on page processing errors? +strict = true - # Display progress? - verbose = true +# Display progress? +verbose = true - # Display detailed debug output? - debug = false +# Display detailed debug output? +debug = false - # Where input files (pages and assets) are stored. - site_dir = "site" +# Where input files (pages and assets) are stored. +site_dir = "site" - # Where the output goes - build_dir = "serve" +# Where the output goes +build_dir = "serve" - # Files inside the site/ directory can be treated as pages or static assets, - # depending on the extension. - # - # Files with extensions from this list are considered pages and processed. - # All other files are copied to build/ unchanged. - # - # Note that for formats other than HTML, you need to specify an external program - # for converting them to HTML (see below). - page_file_extensions = ["htm", "html", "md", "rst", "adoc", "dj"] +# Files inside the site/ directory can be treated as pages or static assets, +# depending on the extension. +# +# Files with extensions from this list are considered pages and processed. +# All other files are copied to build/ unchanged. +# +# Note that for formats other than HTML, you need to specify an external program +# for converting them to HTML (see below). +page_file_extensions = ["htm", "html", "md", "rst", "adoc", "dj"] - # By default, soupault uses "clean URLs", - # that is, $site_dir/page.html is converted to $build_dir/page/index.html - # You can make it produce $build_dir/page.tml instead by changing this option to false - clean_urls = false +# By default, soupault uses "clean URLs", +# that is, $site_dir/page.html is converted to $build_dir/page/index.html +# You can make it produce $build_dir/page.tml instead by changing this option to false +clean_urls = true - # If you set clean_urls=false, - # file names with ".html" and ".htm" extensions are left unchanged. - keep_extensions = ["html"] +# If you set clean_urls=false, +# file names with ".html" and ".htm" extensions are left unchanged. +keep_extensions = ["html"] - # All other extensions (".md", ".rst"...) are replaced, by default with ".html" - default_extension = "html" +# All other extensions (".md", ".rst"...) are replaced, by default with ".html" +default_extension = "html" - # Page files with these extensions are ignored. - ignore_extensions = ["draft", "bak"] +# Page files with these extensions are ignored. +ignore_extensions = ["draft", "bak"] - # Soupault can work as a website generator or an HTML processor. - # - # In the "website generator" mode, it considers files in site/ page bodies - # and inserts them into the empty page template stored in templates/main.html - # - # Setting this option to false switches it to the "HTML processor" mode - # when it considers every file in site/ a complete page and only runs it through widgets/plugins. - generator_mode = true +# Soupault can work as a website generator or an HTML processor. +# +# In the "website generator" mode, it considers files in site/ page bodies +# and inserts them into the empty page template stored in templates/main.html +# +# Setting this option to false switches it to the "HTML processor" mode +# when it considers every file in site/ a complete page and only runs it through widgets/plugins. +generator_mode = true - # Files that contain an element are considered complete pages rather than page bodies, - # even in the "website generator" mode. - # This allows you to use a unique layout for some pages and still have them processed by widgets. - complete_page_selector = "html" +# Files that contain an element are considered complete pages rather than page bodies, +# even in the "website generator" mode. +# This allows you to use a unique layout for some pages and still have them processed by widgets. +complete_page_selector = "html" - # Website generator mode requires a page template (an empty page to insert a page body into). - # If you use "generator_mode = false", this file is not required. - default_template_file = "templates/main.html" +# Website generator mode requires a page template (an empty page to insert a page body into). +# If you use "generator_mode = false", this file is not required. +default_template_file = "templates/main.html" - # Page content is inserted into a certain element of the page template. - # This option is a CSS selector that is used for locating that element. - default_content_selector = "main" +# Page content is inserted into a certain element of the page template. +# This option is a CSS selector that is used for locating that element. +default_content_selector = "main" - # You can choose where exactly to insert the content in its parent element. - # The default is append_child, but there are more, including prepend_child and replace_content - default_content_action = "append_child" +# You can choose where exactly to insert the content in its parent element. +# The default is append_child, but there are more, including prepend_child and replace_content +default_content_action = "append_child" - # If a page already has a document type declaration, keep the declaration - keep_doctype = true +# If a page already has a document type declaration, keep the declaration +keep_doctype = true - # If a page does not have a document type declaration, force it to HTML5 - # With keep_doctype=false, soupault will replace existing declarations with it too - doctype = "" +# If a page does not have a document type declaration, force it to HTML5 +# With keep_doctype=false, soupault will replace existing declarations with it too +doctype = "" - # Insert whitespace into HTML for better readability - # When set to false, the original whitespace (if any) will be preserved as is - pretty_print_html = true +# Insert whitespace into HTML for better readability +# When set to false, the original whitespace (if any) will be preserved as is +pretty_print_html = true - # Plugins can be either automatically discovered or loaded explicitly. - # By default discovery is enabled and the place where soupault is looking is the plugins/ subdirectory - # in your project. - # E.g., a file at plugins/my-plugin.lua will be registered as a widget named "my-plugin". - plugin_discovery = true - plugin_dirs = ["plugins"] +# Plugins can be either automatically discovered or loaded explicitly. +# By default discovery is enabled and the place where soupault is looking is the plugins/ subdirectory +# in your project. +# E.g., a file at plugins/my-plugin.lua will be registered as a widget named "my-plugin". +plugin_discovery = true +plugin_dirs = ["plugins"] - # Soupault can cache outputs of external programs - # (page preprocessors and preprocess_element widget commands). - # It's disabled by default but you can enable it and configure the cache directory name/path - caching = false - cache_dir = ".soupault-cache" +# Soupault can cache outputs of external programs +# (page preprocessors and preprocess_element widget commands). +# It's disabled by default but you can enable it and configure the cache directory name/path +caching = false +cache_dir = ".soupault-cache" - # Soupault supports a variety of page source character encodings, - # the default encoding is UTF-8 - page_character_encoding = "utf-8" - +# Soupault supports a variety of page source character encodings, +# the default encoding is UTF-8 +page_character_encoding = "utf-8" # It is possible to store pages in any format if you have a program # that converts it to HTML and writes it to standard output. # Example: [preprocessors] dj = "jotdown" -# md = "cmark --unsafe --smart" -# adoc = "asciidoctor -o -" # Pages can be further processed with "widgets" # Takes the content of the first