Skip to content

History / Calling Frege Code from Java

Edit page New page

Revisions

  • Updated Calling Frege Code from Java (markdown)

    @jaju jaju committed Dec 2, 2015
    3cb7c61

  • Updated Calling Frege Code from Java (markdown)

    Dierk committed Oct 28, 2014
    330a3b6

  • remove scroll recommendation, it is not needed anymore

    @Ingo60 Ingo60 committed Mar 3, 2014
    bc51984

  • explained sum types

    @Ingo60 Ingo60 committed Mar 2, 2014
    a6b6526

  • explained why methods are static

    @Ingo60 Ingo60 committed Mar 2, 2014
    c1f5705

  • explained product types

    @Ingo60 Ingo60 committed Mar 2, 2014
    538ddb5

  • explained the use of the online REPL

    @Ingo60 Ingo60 committed Mar 2, 2014
    fd89520

  • more typos

    @Ingo60 Ingo60 committed Oct 6, 2013
    87778a1

  • correct typo

    @Ingo60 Ingo60 committed Oct 6, 2013
    fc18922

  • explained how to work with type renamings from Java.

    @Ingo60 Ingo60 committed Oct 6, 2013
    93ba93a

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 18, 2013
    e842325

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 18, 2013
    a0ec277

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 18, 2013
    fac631c

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    bc9d1c2

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    1a14e32

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    cd8f7b9

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    c1dca58

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    6eacd3d

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    67bf9f8

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 16, 2013
    20d0b56

  • Updated Calling Frege Code from Java (markdown)

    @Ingo60 Ingo60 committed Jan 6, 2013
    c73caa9

  • first example

    @Ingo60 Ingo60 committed Jan 6, 2013
    4b0d6c9