www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

abbreviations.rkt (1554B)

      1 #lang at-exp racket
      2 (provide typedracket Typedracket csharp CAML OCAML CLOS NIT CPP DeBruijn HOAS
      3          PHOAS monocecil dotnet DLL nanopass nanopass-c-f haskell haskell98
      4          Hackett turnstile Turnstile cur Cur LaTeX C-language java lisp)
      5 
      6 (require scribble/base
      7          scribble/core
      8          scribble/latex-properties
      9          scriblib/render-cond)
     10 
     11 (define csharp-tex-addition
     12   (string->bytes/utf-8
     13    @string-append{
     14  \def\csharpAbbrev#1{
     15   \texorpdfstring{C\kern0.1ex\protect\raisebox{0.3ex}{\smaller $\#$}}{C\#}}}))
     16 
     17 (define csharp
     18   (cond-element
     19    [html "C#"]
     20    [latex (elem #:style (style "csharpAbbrev"
     21                                (list (tex-addition csharp-tex-addition))) "")]
     22    [else "C#"]))
     23 
     24 (define typedracket "Typed Racket")
     25 (define Typedracket "Typed Racket")
     26 (define nanopass "Nanopass")
     27 (define nanopass-c-f "Nanopass Compiler Framework")
     28 (define CAML "CAML")
     29 (define OCAML "CAML")
     30 (define CLOS "CLOS")
     31 (define NIT "NIT")
     32 (define CPP "C++")
     33 (define DeBruijn "De Bruijn")
     34 ;; TODO: make it an <abbr> and give it a tooltip in HTML
     35 (define HOAS "HOAS")
     36 (define PHOAS "PHOAS")
     37 (define monocecil @tt{"Mono.Cecil"})
     38 (define dotnet ".NET")
     39 (define DLL "DLL")
     40 (define haskell "Haskell")
     41 (define haskell98 "Haskell 98")
     42 (define Hackett "Hackett")
     43 (define turnstile "Turnstile")
     44 (define Turnstile "Turnstile")
     45 (define cur "Cur")
     46 (define Cur "Cur")
     47 (define LaTeX (cond-element [latex (elem #:style (style "LaTeX" '()))]
     48                             [else "LaTeX"]))
     49 (define C-language "C")
     50 (define java "Java")
     51 (define lisp "Lisp")