Public Pastes
daily pastebin goal
1%
SHARE
TWEET

Untitled

a guest Jun 8th, 2015 202 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Coq 8.5 or later
  2. GHC 7.8 or later
  3. Cabal 1.18 or later (the Haskell Platform includes GHC and Cabal)
  4. Agda 2.4 or later
  5. OCaml 4.02 or later with OPAM 1.2 or later
  6. Sill 1.3 or later; if OPAM is installed, sill can be installed with opam install sill
  7. Proof General
RAW Paste Data
Top