Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for idris-0.9.5 source tarball
idris-0.9.5/
LICENSE
Setup.hs
idris.cabal
lib/
Builtins.idr
IO.idr
Makefile
Prelude.idr
System.idr
base.ipkg
Control/
Monad/
Identity.idr
State.idr
Language/
Reflection.idr
Network/
Cgi.idr
Prelude/
Algebra.idr
Applicative.idr
Cast.idr
Chars.idr
Complex.idr
Either.idr
Fin.idr
Heap.idr
List.idr
Maybe.idr
Monad.idr
Morphisms.idr
Nat.idr
Strings.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
libtest.c
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/
BCImp.hs
Bytecode.hs
CodegenC.hs
CodegenJava.hs
Compiler.hs
Defunctionalise.hs
Inliner.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
UnusedArgs.hs
Pkg/
PParser.hs
Package.hs
Util/
Pretty.hs
System.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