gistfile1.txt

GHCi, version 7.4.2: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :set -package Agda-2.3.0
cannot satisfy -package Agda-2.3.0
    (use -v for more information)
Prelude> :mod + Agda.Interaction.GhciTop

<no location info>:
    Could not find module `Agda.Interaction.GhciTop'
    It is not a module in the current program, or in any known package.
Prelude> ioTCM "/Users/lkuper/repos/oplss-2013/oplss-agda/Preliminaries.agda" Nothing ( cmd_write_highlighting_info "/Users/lkuper/repos/oplss-2013/oplss-agda/Preliminaries.agda" "/var/folders/G5/G5Oq7-YNFha34sexhK8FWk+++TU/-Tmp-/agda2-mode209900yY" )

<interactive>:4:1: Not in scope: `ioTCM'

<interactive>:4:80: Not in scope: `cmd_write_highlighting_info'
Prelude> ioTCM "/Users/lkuper/repos/oplss-2013/oplss-agda/Preliminaries.agda" (Just "/var/folders/G5/G5Oq7-YNFha34sexhK8FWk+++TU/-Tmp-/agda2-mode20990OHl") ( cmd_load "/Users/lkuper/repos/oplss-2013/oplss-agda/Preliminaries.agda" ["."] )

<interactive>:5:1: Not in scope: `ioTCM'

<interactive>:5:150: Not in scope: `cmd_load'
Prelude> :set -package Agda-2.3.0.1
cannot satisfy -package Agda-2.3.0.1: 
    Agda-2.3.0.1-80f3ab8822f0a349cfa4a5bda4fee723 is unusable due to missing or recursive dependencies:
      hashtables-1.0.1.8-83bb853aa7f012eaa447f17f929e2fad
    (use -v for more information)