-rwxr-xr-x | 6556176 | root |
root |
/usr/bin/idris
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/effects
|
-rw-r--r-- | 2071 | root |
root |
/usr/lib/idris-0.9.9/executable_pom.xml
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/javascript
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/js
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/llvm
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/rts
|
-rw-r--r-- | 981653 | root |
root |
/usr/lib/idris-0.9.9/base/Builtins.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Control
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Data
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Debug
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Decidable
|
-rw-r--r-- | 36678 | root |
root |
/usr/lib/idris-0.9.9/base/IO.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Language
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Network
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude
|
-rw-r--r-- | 777947 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude.ibc
|
-rw-r--r-- | 1667 | root |
root |
/usr/lib/idris-0.9.9/base/Providers.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/System
|
-rw-r--r-- | 48942 | root |
root |
/usr/lib/idris-0.9.9/base/System.ibc
|
-rw-r--r-- | 23399 | root |
root |
/usr/lib/idris-0.9.9/base/Uninhabited.ibc
|
-rw-r--r-- | 303660 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Arrow.ibc
|
-rw-r--r-- | 117032 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Catchable.ibc
|
-rw-r--r-- | 73405 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Category.ibc
|
-rw-r--r-- | 150027 | root |
root |
/usr/lib/idris-0.9.9/base/Control/IOExcept.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Monad
|
-rw-r--r-- | 50842 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Monad/Identity.ibc
|
-rw-r--r-- | 267867 | root |
root |
/usr/lib/idris-0.9.9/base/Control/Monad/State.ibc
|
-rw-r--r-- | 3818474 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Bits.ibc
|
-rw-r--r-- | 152330 | root |
root |
/usr/lib/idris-0.9.9/base/Data/BoundedList.ibc
|
-rw-r--r-- | 668240 | root |
root |
/usr/lib/idris-0.9.9/base/Data/HVect.ibc
|
-rw-r--r-- | 529315 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Mod2.ibc
|
-rw-r--r-- | 90049 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Morphisms.ibc
|
-rw-r--r-- | 5296 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Sign.ibc
|
-rw-r--r-- | 1868938 | root |
root |
/usr/lib/idris-0.9.9/base/Data/SortedMap.ibc
|
-rw-r--r-- | 52116 | root |
root |
/usr/lib/idris-0.9.9/base/Data/SortedSet.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Vect
|
-rw-r--r-- | 170767 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Vect.ibc
|
-rw-r--r-- | 428038 | root |
root |
/usr/lib/idris-0.9.9/base/Data/ZZ.ibc
|
-rw-r--r-- | 329545 | root |
root |
/usr/lib/idris-0.9.9/base/Data/Vect/Quantifiers.ibc
|
-rw-r--r-- | 6338 | root |
root |
/usr/lib/idris-0.9.9/base/Debug/Trace.ibc
|
-rw-r--r-- | 218 | root |
root |
/usr/lib/idris-0.9.9/base/Decidable/Decidable.ibc
|
-rw-r--r-- | 846302 | root |
root |
/usr/lib/idris-0.9.9/base/Decidable/Equality.ibc
|
-rw-r--r-- | 214 | root |
root |
/usr/lib/idris-0.9.9/base/Decidable/Order.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/Language/Reflection
|
-rw-r--r-- | 194748 | root |
root |
/usr/lib/idris-0.9.9/base/Language/Reflection.ibc
|
-rw-r--r-- | 430860 | root |
root |
/usr/lib/idris-0.9.9/base/Language/Reflection/Utils.ibc
|
-rw-r--r-- | 412743 | root |
root |
/usr/lib/idris-0.9.9/base/Network/Cgi.ibc
|
-rw-r--r-- | 737385 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Algebra.ibc
|
-rw-r--r-- | 118018 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Applicative.ibc
|
-rw-r--r-- | 40029 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Cast.ibc
|
-rw-r--r-- | 49110 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Chars.ibc
|
-rw-r--r-- | 99951 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Complex.ibc
|
-rw-r--r-- | 85771 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Either.ibc
|
-rw-r--r-- | 206843 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Fin.ibc
|
-rw-r--r-- | 7807 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Functor.ibc
|
-rw-r--r-- | 405549 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Heap.ibc
|
-rw-r--r-- | 1525167 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/List.ibc
|
-rw-r--r-- | 114426 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Maybe.ibc
|
-rw-r--r-- | 22170 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Monad.ibc
|
-rw-r--r-- | 2798734 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Nat.ibc
|
-rw-r--r-- | 211224 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Strings.ibc
|
-rw-r--r-- | 986303 | root |
root |
/usr/lib/idris-0.9.9/base/Prelude/Vect.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/base/System/Concurrency
|
-rw-r--r-- | 163172 | root |
root |
/usr/lib/idris-0.9.9/base/System/Concurrency/Process.ibc
|
-rw-r--r-- | 24203 | root |
root |
/usr/lib/idris-0.9.9/base/System/Concurrency/Raw.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect
|
-rw-r--r-- | 969760 | root |
root |
/usr/lib/idris-0.9.9/effects/Effects.ibc
|
-rw-r--r-- | 96882 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/Exception.ibc
|
-rw-r--r-- | 271139 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/File.ibc
|
-rw-r--r-- | 1074319 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/Memory.ibc
|
-rw-r--r-- | 80516 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/Random.ibc
|
-rw-r--r-- | 77917 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/Select.ibc
|
-rw-r--r-- | 252865 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/State.ibc
|
-rw-r--r-- | 228880 | root |
root |
/usr/lib/idris-0.9.9/effects/Effect/StdIO.ibc
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/idris-0.9.9/javascript/JavaScript
|
-rw-r--r-- | 113049 | root |
root |
/usr/lib/idris-0.9.9/javascript/JavaScript.ibc
|
-rw-r--r-- | 214147 | root |
root |
/usr/lib/idris-0.9.9/javascript/JavaScript/JSON.ibc
|
-rw-r--r-- | 56 | root |
root |
/usr/lib/idris-0.9.9/js/Runtime-browser.js
|
-rw-r--r-- | 11655 | root |
root |
/usr/lib/idris-0.9.9/js/Runtime-common.js
|
-rw-r--r-- | 118 | root |
root |
/usr/lib/idris-0.9.9/js/Runtime-node.js
|
-rwxr-xr-x | 5848 | root |
root |
/usr/lib/idris-0.9.9/llvm/libidris_rts.a
|
-rwxr-xr-x | 4402 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_bitstring.h
|
-rwxr-xr-x | 131 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_gc.h
|
-rwxr-xr-x | 930 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_gmp.h
|
-rwxr-xr-x | 711 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_heap.h
|
-rw-r--r-- | 683 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_main.c
|
-rwxr-xr-x | 399 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_opts.h
|
-rwxr-xr-x | 7676 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_rts.h
|
-rwxr-xr-x | 2813 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_stats.h
|
-rwxr-xr-x | 312 | root |
root |
/usr/lib/idris-0.9.9/rts/idris_stdfgn.h
|
-rwxr-xr-x | 63874 | root |
root |
/usr/lib/idris-0.9.9/rts/libidris_rts.a
|
-rw-r--r-- | 14 | root |
root |
/usr/lib/idris-0.9.9/rts/libtest.c
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/idris-0.9.9
|
-rw-r--r-- | 1602 | root |
root |
/usr/share/doc/idris-0.9.9/LICENSE
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples
|
-rw-r--r-- | 1310 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/binary.idr
|
-rw-r--r-- | 108 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/bmain.idr
|
-rw-r--r-- | 470 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/btree.idr
|
-rw-r--r-- | 356 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/classes.idr
|
-rw-r--r-- | 120 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/foo.idr
|
-rw-r--r-- | 57 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/hello.idr
|
-rw-r--r-- | 1046 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/idiom.idr
|
-rw-r--r-- | 2232 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/interp.idr
|
-rw-r--r-- | 403 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/letbind.idr
|
-rw-r--r-- | 116 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/prims.idr
|
-rw-r--r-- | 1104 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/theorems.idr
|
-rw-r--r-- | 92 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/universe.idr
|
-rw-r--r-- | 474 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/usefultypes.idr
|
-rw-r--r-- | 117 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/vbroken.idr
|
-rw-r--r-- | 749 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/views.idr
|
-rw-r--r-- | 245 | root |
root |
/usr/share/doc/idris-0.9.9/tutorial/examples/wheres.idr
|