Talk:Epigram (programming language): Difference between revisions

Content deleted Content added

Revision as of 23:06, 3 April 2017 edit Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits linking to sources for this article ← Previous edit		Latest revision as of 14:49, 2 June 2025 edit undo Supyovalk (talk \| contribs) Extended confirmed users 16,841 edits Assessment: banner shell, Computing (Rater)
(2 intermediate revisions by 2 users not shown)
Line 1: {{Talk header}} {{WikiProject banner shell\| class=Start\| 1= {{WikiProject Computing}} }} ~~{{findsourcesnotice\|Epigram\|("dependent type" OR "programming language")}}~~ ==Untitled== It would be nice if the examples in the Syntax section had at least a cursory explanation of their semantics. Also, it's not clear if the LaTeX version is always generated from the ASCII, or if there's a concrete LaTeX syntax (e.g., "<code>\data{ \left( \frac{}{Nat:\star} \right) }...</code>"). [[User:Clconway\|Clconway]] ([[User talk:Clconway\|talk]]) 22:02, 6 February 2008 (UTC)