diff options
Diffstat (limited to 'dice-lang/lang-impl.html')
| -rw-r--r-- | dice-lang/lang-impl.html | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dice-lang/lang-impl.html b/dice-lang/lang-impl.html deleted file mode 100644 index 62fddf6..0000000 --- a/dice-lang/lang-impl.html +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version='1.0' encoding='utf-8' ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> - </head> - <body> - <h1 id="language-implementation-details">Language implementation details</h1> - <p>First, a command is read from the user, and - checked to see if it has any interpreter pragmas - in it. If so, the interpreter pragma is handled - and we move onto the next command.</p> - </body> -</html>
\ No newline at end of file |