Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for idris-0.9.6.1 source tarball
idris-0.9.6.1/
LICENSE
Setup.hs
config.mk
idris.cabal
js/
Runtime-browser.js
Runtime-common.js
Runtime-node.js
lib/
Builtins.idr
IO.idr
Makefile
Prelude.idr
System.idr
base.ipkg
Control/
Arrow.idr
Category.idr
Monad/
Identity.idr
State.idr
Data/
Bits.idr
Mod2.idr
Morphisms.idr
Debug/
Trace.idr
Language/
Reflection.idr
Network/
Cgi.idr
Prelude/
Algebra.idr
Applicative.idr
Cast.idr
Chars.idr
Complex.idr
Either.idr
Fin.idr
Functor.idr
Heap.idr
List.idr
Maybe.idr
Monad.idr
Nat.idr
Strings.idr
Vect.idr
System/
Concurrency/
Process.idr
Raw.idr
rts/
Makefile
idris_bitstring.c
idris_bitstring.h
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
CodegenCommon.hs
CodegenJava.hs
CodegenJavaScript.hs
Compiler.hs
Defunctionalise.hs
DumpBC.hs
Inliner.hs
LParser.hs
Lang.hs
Simplified.hs
Idris/
AbsSyntax.hs
AbsSyntaxTree.hs
Compiler.hs
Completion.hs
Coverage.hs
DSL.hs
DataOpts.hs
Delaborate.hs
Docs.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