Skip to content

History

New page

Revisions

  • Fixed typo 'goc' -> 'ghc'

    @StavrosChryselis StavrosChryselis committed Dec 29, 2017
    01e653a

  • Updated Edit or remove concealment (symbols) (markdown)

    @tsoernes tsoernes committed Apr 24, 2017
    0f0b5e3

  • Created Edit or remove concealment (symbols) (markdown)

    @tsoernes tsoernes committed Apr 24, 2017
    a1d43b2

  • Updated Some (trivial) problem faced with stackage lts 8 and solution (markdown)

    @wizzup wizzup committed Mar 6, 2017
    27ba249

  • Updated Some (trivial) problem faced with stackage lts 8 * and solution (markdown)

    @rejwan-kabir rejwan-kabir committed Feb 22, 2017
    91bff6d

  • If you think that wiki is unnecessary or irrelevant, please delete the page. Thanks.

    @rejwan-kabir rejwan-kabir committed Feb 22, 2017
    c120c89

  • Updated Installation Troubleshooting (markdown)

    @jhegedus42 jhegedus42 committed Sep 26, 2015
    c6dfaf1

  • fixed codeblock para wrap glitch

    simon2e committed Dec 10, 2014
    2e42fb1

  • added OSX-homebrew wget certificate workaround

    simon2e committed Dec 10, 2014
    4bb8a6b

  • Added steps needed for clean install on OSX Yosemite with ghc and vim installed from homebrew

    simon2e committed Dec 10, 2014
    d8e92dd

  • Updated Integrating Coq proofs (markdown)

    @begriffs begriffs committed Jun 14, 2014
    9452eb0

  • Document problem from #22

    @begriffs begriffs committed Jun 13, 2014
    ac87f16

  • Updated Installation Troubleshooting (markdown)

    @begriffs begriffs committed Jun 8, 2014
    db0b310

  • Updated Installation Troubleshooting (markdown)

    @begriffs begriffs committed May 29, 2014
    2db6c45

  • Updated Installation Troubleshooting (markdown)

    @begriffs begriffs committed May 29, 2014
    e1bc38e

  • Created Installation Troubleshooting (markdown)

    @begriffs begriffs committed May 28, 2014
    72ec089

  • Initial Home page

    @begriffs begriffs committed May 24, 2014
    aaaace9

  • Created Integrating Coq proofs (markdown)

    @begriffs begriffs committed May 24, 2014
    7fcd1a5