From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:303:5f26::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id +GmxAMug62V5wwAAbAwnHQ (envelope-from ) for ; Sat, 09 Mar 2024 00:35:39 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 8AvmNsqg62XpNQEAqHPOHw (envelope-from ) for ; Sat, 09 Mar 2024 00:35:39 +0100 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=TZwrzzlg; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=VSAhcCYQ; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1709940938; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=ouMGxJ/xHQvrpLcrY0D8NmaAvZ/qCwOs4WNyIz4znOY=; b=4cg6J+IVbD3qmmjXifDu1oFu51Hls7JAJBvSHxVm7xuJYYMJmt3vvznzmEpwT+nrUDlnvW K4xa8wVV/obNeEEYt5vNpSpimhIOnloCa4Ko+yLbYTCUJ7EkcVCEOqlWkLt7pe0cQ64aeo nVXUjif9YYDpOZW043kOS6xzB4rrkHsCrOrWIsoc0WiIJKESt9mqy4KQ2O/h6y6LhY8VKh gqaODTDJaqVgc4WGjeDlyQOmQaW1EU0I3mKcr6hbyXKt1sGI5wfMqO6EMljy3M6RBySsWa BeIAzpic2ZvZaNKJadsNMelo6VGOF9OV5aHoaHiq/FMrlCUDeLJOu23SqYpiYg== ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1709940938; a=rsa-sha256; cv=none; b=kABLks782Je995c6EDLm/v7XO991bTyMM0OCSadYqSROk1fkRFPgaSxh8DIQCEKQkbUint X3GK4K73LyE26VRdUhA7/AUnEFNHL8gdcOBmHuVeysb37gwXTiCqnBA3k8aGF6jTOdQgE5 skU7TBQxdSwNfY3HUw85kDvv52clZpGGnKfmWBoPaOJF1Fx67QXcnU4z2e3Ps6asGT/685 +Lv5QvHcIYCsBABrFc4ejJsTk7d7cFMtymU1sw85GkULwj2DByEgAOq4Rv6JtTViYYXr6X mLA/+RPeGEYQ/x5B3xm6P0gD5rbpB1NNl+GJlUe6xdig1ZaJuWpWRpnye1Fhmg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=TZwrzzlg; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=VSAhcCYQ; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com Received: from mail-a.sr.ht (mail-a.sr.ht [46.23.81.152]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id CD5B06B44B for ; Sat, 9 Mar 2024 00:35:38 +0100 (CET) DKIM-Signature: a=rsa-sha256; bh=MHI02Cgr6VJT2N5Up9WftUIIy3kUNwOBitNoRGBG9qg=; c=simple/simple; d=lists.sr.ht; h=Date:From:To:Subject:References:In-Reply-To:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1709940938; v=1; b=TZwrzzlg4N44ucQrJoXDUMCIrF+3fmdIuVf+/D561VWSZpfmn17VmaU3jqoUZeVbadT169Iq hRaO191KBilc3crqK14wyOvlrco2Gw/lGJYgD1TYJYoHMUfaq/MzHOmVsP6z94UXWfPSJFJMiF1 EDlmHrSF/N+pmot1ylWJuJCmlWJ/eRufoCTkPSFsdCbF/ypwm7P9FEGUlX5PFGYCwx0Adeo63rB w6wWyOzAjLJoGPsHzq2i6S3ccbKrynz8GKsJ9WJAFJ2x16AG5/3AC2X0YLnuzdGe719WQvZHRIF snWNkSVCS59ZgXoZ3+UEDVtmqlKAas/tx8Lqf1PGg+N0w== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 9B36E2025F for ; Fri, 8 Mar 2024 23:35:38 +0000 (UTC) Received: from out-171.mta0.migadu.com (out-171.mta0.migadu.com [IPv6:2001:41d0:1004:224b::ab]) by mail-a.sr.ht (Postfix) with ESMTPS id BDB5520253 for <~johnnyrichard/olang-devel@lists.sr.ht>; Fri, 8 Mar 2024 23:35:37 +0000 (UTC) Date: Sat, 9 Mar 2024 01:36:03 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1709940936; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=ouMGxJ/xHQvrpLcrY0D8NmaAvZ/qCwOs4WNyIz4znOY=; b=VSAhcCYQKXw/4T+KjMpRxkVowuTDS8fvFigYNevLNysSO5nsWuzE6rWw4bDxS4mNRtj6gx Wf5HuZ+YT2e/plukRZ2xWxu56MqSSxxrUM9720agrLDGFxc8F71OyB7zG8c1Ga59WkVRAs p6/hRWfQS20kLPelNYxf2DpzTab4rNELgz3y1U641uujNocOC9i+TRywbw3b51vlGhYzed Xt8O5ieYP84wVQoes6M2To7G+ytVWTBIh3kA7OFK2E62ocbNLqmK1B4N7wpf5sCMEd4u+G NorWTzfqjoCecM5fr0zfTJmuEav4h14yI82e5dsC68DJ6ztXHYTv8jU1cr5Gtg== X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Johnny Richard To: ~johnnyrichard/olang-devel@lists.sr.ht Subject: Re: [RFC PATCH olang v1] docs: create zero programming language specification Message-ID: <6ugv2z5v3takatijw47ihopnxkpdttme3amuxy3bkvme52d3gc@yd27sixjsvcc> References: <20240309000855.1059007-1-johnny@johnnyrichard.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20240309000855.1059007-1-johnny@johnnyrichard.com> List-Unsubscribe: List-Subscribe: List-Archive: Archived-At: List-Post: List-ID: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel.lists.sr.ht> Sender: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel@lists.sr.ht> X-Migadu-Flow: FLOW_IN X-Migadu-Country: NL X-Migadu-Spam-Score: -10.04 X-Spam-Score: -10.04 X-Migadu-Queue-Id: CD5B06B44B X-Migadu-Scanner: mx11.migadu.com X-TUID: t86yNxtVK4Kr I messed with the grammar, here I have few adjusts. On Sat, Mar 09, 2024 at 01:05:39AM +0100, Johnny Richard wrote: > diff --git a/docs/pages/language_specification.md b/docs/pages/language_specification.md > new file mode 100644 > index 0000000..9d27eda > --- /dev/null > +++ b/docs/pages/language_specification.md > @@ -0,0 +1,41 @@ > +zero programming language specification > +======================================= > + > +ABSTRACT > +-------- > + > +This document specifies the semantics and behavior of the Zero Programming > +Language for compiler programmers be informed how the language is designed. s/be informed how/be informed on how/ > +This specification is on DRAFT and will evolve through discussions on olang-dev s/is on DRAFT/is a DRAFT/ > + ::= + > + | + * I missed the recusion here, it should be: ::= + | + * ; > + ::= 'u32 ' s/u32 /u32/