Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for idris-0.9.3.1 source tarball
idris-0.9.3.1/
LICENSE
Setup.hs
idris.cabal
lib/
Makefile
builtins.idr
checkall.idr
io.idr
prelude.idr
system.idr
control/
monad/
identity.idr
state.idr
language/
reflection.idr
network/
cgi.idr
sockets.idr
prelude/
algebra.idr
applicative.idr
cast.idr
char.idr
complex.idr
either.idr
fin.idr
heap.idr
list.idr
maybe.idr
monad.idr
nat.idr
strings.idr
tactics.idr
vect.idr
rts/
Makefile
idris_gc.c
idris_gc.h
idris_gmp.c
idris_gmp.h
idris_main.c
idris_rts.c
idris_rts.h
idris_stdfgn.c
idris_stdfgn.h
libidris_rts.a
src/
Main.hs
Core/
CaseTree.hs
Constraints.hs
CoreParser.hs
Elaborate.hs
Evaluate.hs
ProofShell.hs
ProofState.hs
ShellParser.hs
TT.hs
Typecheck.hs
Unify.hs
IRTS/
Bytecode.hs
CodegenC.hs
Compiler.hs
Defunctionalise.hs
LParser.hs
Lang.hs
Simplified.hs
Idris/
AbsSyntax.hs
AbsSyntaxTree.hs
Compiler.hs
Coverage.hs
DSL.hs
DataOpts.hs
Delaborate.hs
ElabDecls.hs
ElabTerm.hs
Error.hs
IBC.hs
Imports.hs
Parser.hs
Primitives.hs
Prover.hs
REPL.hs
REPLParser.hs
Transforms.hs
Unlit.hs
Util/
Pretty.hs
tutorial/
examples/
binary.idr
bmain.idr
btree.idr
classes.idr
foo.idr
hello.idr
idiom.idr
interp.idr
letbind.idr
prims.idr
theorems.idr
universe.idr
usefultypes.idr
vbroken.idr
views.idr