xref
: /
dports
/
math
/
hs-Agda
/
Agda-2.6.2
/
_cabal_deps
/
hashable-1.3.0.0
/
Setup.hs
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
#!/
usr
/
bin
/
env
runhaskell
2
import
Distribution
.
Simple
3
main
=
defaultMain
4