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		Revision as of 23:31, 18 April 2021 edit undo PrimeBOT (talk \| contribs) Bots 2,129,921 edits m Task 24 - replacing a template following a TFD (plus genfixes/cleanup) Tag: AWB Next edit →
Line 1: {{Talk header}} {{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)

Talk:Epigram (programming language): Difference between revisions