├── .foreign ├── Data │ └── Strings.stgffi ├── Prelude │ ├── Basics.adt │ ├── IO.stgffi │ ├── Types.stgffi │ └── Uninhabited.stgffi ├── System.stgffi └── System │ └── File │ ├── Process.stgffi │ ├── ReadWrite.stgffi │ └── Virtual.stgffi ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── VERSIONS ├── data ├── ghc-rts-base.fullpak └── idris-haskell-interface.fullpak ├── haskell ├── README.md ├── create-fullpack.sh ├── idris-haskell-interface.cabal ├── lib │ └── Idris │ │ ├── FFI │ │ ├── Prelude │ │ │ └── IO.hs │ │ ├── System.hs │ │ └── System │ │ │ └── File │ │ │ ├── Process.hs │ │ │ ├── ReadWrite.hs │ │ │ └── Virtual.hs │ │ ├── Runtime │ │ ├── BelieveMe.hs │ │ ├── Bits.hs │ │ ├── Cast │ │ │ ├── Bits16.hs │ │ │ ├── Bits32.hs │ │ │ ├── Bits64.hs │ │ │ ├── Bits8.hs │ │ │ ├── Char.hs │ │ │ ├── Double.hs │ │ │ ├── Int.hs │ │ │ ├── Int16.hs │ │ │ ├── Int32.hs │ │ │ ├── Int64.hs │ │ │ ├── Int8.hs │ │ │ ├── Integer.hs │ │ │ └── String.hs │ │ ├── Crash.hs │ │ ├── Erased.hs │ │ ├── Integer.hs │ │ ├── PrimOp │ │ │ ├── Add.hs │ │ │ ├── BAnd.hs │ │ │ ├── BOr.hs │ │ │ ├── BXOr.hs │ │ │ ├── Div.hs │ │ │ ├── Double.hs │ │ │ ├── EQ.hs │ │ │ ├── GT.hs │ │ │ ├── GTE.hs │ │ │ ├── LT.hs │ │ │ ├── LTE.hs │ │ │ ├── Mod.hs │ │ │ ├── Mul.hs │ │ │ ├── Neg.hs │ │ │ ├── ShiftL.hs │ │ │ ├── ShiftR.hs │ │ │ ├── Str.hs │ │ │ └── Sub.hs │ │ ├── PrimType.hs │ │ ├── STM.hs │ │ ├── String.hs │ │ └── World.hs │ │ └── Test │ │ └── FFITypes.hs ├── main │ └── Main.hs ├── stack.yaml └── test │ └── TestMain.hs ├── index.html ├── libHSbase-4.14.0.0.cbits.so ├── src ├── Idris │ └── Codegen │ │ └── ExtSTG │ │ ├── ADTAlias.idr │ │ ├── ADTs.idr │ │ ├── ANFToSTG.idr │ │ ├── Binders.idr │ │ ├── Configuration.idr │ │ ├── Context.idr │ │ ├── Core.idr │ │ ├── DiscoverADTs.idr │ │ ├── ExtName.idr │ │ ├── Foreign.idr │ │ ├── ForeignFile.idr │ │ ├── GHCPrimOp.idr │ │ ├── JSON.idr │ │ ├── JSONData.idr │ │ ├── Prelude.idr │ │ ├── PrimOp.idr │ │ ├── Representation.idr │ │ ├── STG.idr │ │ └── StringTable.idr └── Main.idr ├── stg-idris2.ipkg ├── talks └── bob2021 │ ├── Bob2021.pdf │ ├── Bob2021.zip │ └── custom-backend.rst └── test ├── Main.idr ├── Makefile ├── chez └── chez009 │ ├── expected │ ├── input │ ├── output │ ├── run │ └── uni.idr ├── ffi ├── test0 │ ├── Test0.idr │ ├── expected │ └── run ├── test1 │ ├── Test1.idr │ ├── expected │ └── run ├── test2 │ ├── Test2.idr │ ├── expected │ └── run ├── test3 │ ├── Test3.idr │ ├── expected │ └── run ├── test4 │ ├── Test4.idr │ ├── expected │ └── run ├── test5 │ ├── Test5.idr │ ├── expected │ └── run └── test6 │ ├── Test.idr │ ├── expected │ └── run ├── idris2 ├── basic045 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── basic054 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── basic055 │ ├── Test.idr │ ├── expected │ ├── input │ └── run ├── basic056 │ ├── Test.idr │ ├── expected │ ├── input │ ├── output │ └── run ├── basic068 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── builtin009 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── builtin011 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── builtin012 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── idiom001 │ ├── Test.idr │ ├── expected │ ├── input │ ├── output │ └── run ├── perf002 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── perf008 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── record015 │ ├── Test.idr │ ├── expected │ ├── output │ └── run ├── reflection014 │ ├── Test.idr │ ├── expected │ ├── input │ ├── output │ └── run └── total006 │ ├── Test.idr │ ├── expected │ ├── input │ ├── output │ └── run ├── prim-ops ├── test0 │ ├── Test0.idr │ ├── expected │ └── run ├── test1 │ ├── Test1.idr │ ├── expected │ └── run ├── test2 │ ├── Test2.idr │ ├── expected │ └── run ├── test3 │ ├── Test3.idr │ ├── expected │ └── run ├── test4 │ ├── Test4.idr │ ├── expected │ └── run ├── test5 │ ├── Test5.idr │ ├── expected │ └── run ├── test6 │ ├── Test.idr │ ├── expected │ └── run ├── test7 │ ├── Test.idr │ ├── expected │ ├── input │ └── run └── test8 │ ├── Test.idr │ ├── expected │ └── run ├── tests.ipkg └── typedd-book ├── chapter01 ├── Test.idr ├── expected ├── output └── run ├── chapter02-average ├── Average.idr ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter02-reverse ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter04-data-store ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter04-sum-inputs ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter05-dep-pairs ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter05-hello ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter05-loops ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter06 ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter09 ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter11-arith-cmd-do ├── Test.idr ├── expected ├── input └── run ├── chapter11-arith-cmd ├── Test.idr ├── expected ├── input └── run ├── chapter11-arith-total ├── Test.idr ├── expected ├── input └── run ├── chapter11-arith ├── Test.idr ├── expected ├── input └── run ├── chapter11-infio ├── Test.idr ├── expected ├── output └── run ├── chapter11-runio ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter12-arithstate ├── Test.idr ├── expected ├── input └── run ├── chapter12-traverse ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter13-stackio ├── Test.idr ├── expected ├── input ├── output └── run ├── chapter13-vending ├── Test.idr ├── expected ├── input ├── output └── run └── chapter14 ├── Test.idr ├── expected ├── input ├── output └── run /.foreign/Data/Strings.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/Data/Strings.stgffi -------------------------------------------------------------------------------- /.foreign/Prelude/Basics.adt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/Prelude/Basics.adt -------------------------------------------------------------------------------- /.foreign/Prelude/IO.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/Prelude/IO.stgffi -------------------------------------------------------------------------------- /.foreign/Prelude/Types.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/Prelude/Types.stgffi -------------------------------------------------------------------------------- /.foreign/Prelude/Uninhabited.stgffi: -------------------------------------------------------------------------------- 1 | 2 | prim__void = main:Idris.Runtime.Crash.void 3 | -------------------------------------------------------------------------------- /.foreign/System.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/System.stgffi -------------------------------------------------------------------------------- /.foreign/System/File/Process.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/System/File/Process.stgffi -------------------------------------------------------------------------------- /.foreign/System/File/ReadWrite.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/System/File/ReadWrite.stgffi -------------------------------------------------------------------------------- /.foreign/System/File/Virtual.stgffi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.foreign/System/File/Virtual.stgffi -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/README.md -------------------------------------------------------------------------------- /VERSIONS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/VERSIONS -------------------------------------------------------------------------------- /data/ghc-rts-base.fullpak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/data/ghc-rts-base.fullpak -------------------------------------------------------------------------------- /data/idris-haskell-interface.fullpak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/data/idris-haskell-interface.fullpak -------------------------------------------------------------------------------- /haskell/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/README.md -------------------------------------------------------------------------------- /haskell/create-fullpack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/create-fullpack.sh -------------------------------------------------------------------------------- /haskell/idris-haskell-interface.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/idris-haskell-interface.cabal -------------------------------------------------------------------------------- /haskell/lib/Idris/FFI/Prelude/IO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/FFI/Prelude/IO.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/FFI/System.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/FFI/System.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/FFI/System/File/Process.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/FFI/System/File/Process.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/FFI/System/File/ReadWrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/FFI/System/File/ReadWrite.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/FFI/System/File/Virtual.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/FFI/System/File/Virtual.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/BelieveMe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/BelieveMe.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Bits.hs: -------------------------------------------------------------------------------- 1 | module Idris.Runtime.Bits where 2 | 3 | 4 | -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Bits16.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Bits16.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Bits32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Bits32.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Bits64.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Bits64.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Bits8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Bits8.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Char.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Char.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Double.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Double.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Int.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Int.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Int16.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Int16.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Int32.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Int32.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Int64.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Int64.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Int8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Int8.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/Integer.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Cast/String.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Cast/String.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Crash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Crash.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Erased.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Erased.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/Integer.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Add.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Add.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/BAnd.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/BAnd.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/BOr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/BOr.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/BXOr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/BXOr.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Div.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Div.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Double.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Double.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/EQ.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/EQ.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/GT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/GT.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/GTE.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/GTE.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/LT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/LT.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/LTE.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/LTE.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Mod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Mod.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Mul.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Mul.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Neg.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Neg.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/ShiftL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/ShiftL.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/ShiftR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/ShiftR.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Str.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Str.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimOp/Sub.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimOp/Sub.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/PrimType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/PrimType.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/STM.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/STM.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/String.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/String.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Runtime/World.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Runtime/World.hs -------------------------------------------------------------------------------- /haskell/lib/Idris/Test/FFITypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/lib/Idris/Test/FFITypes.hs -------------------------------------------------------------------------------- /haskell/main/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/main/Main.hs -------------------------------------------------------------------------------- /haskell/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/stack.yaml -------------------------------------------------------------------------------- /haskell/test/TestMain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/haskell/test/TestMain.hs -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/index.html -------------------------------------------------------------------------------- /libHSbase-4.14.0.0.cbits.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/libHSbase-4.14.0.0.cbits.so -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/ADTAlias.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/ADTAlias.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/ADTs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/ADTs.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/ANFToSTG.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/ANFToSTG.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Binders.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Binders.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Configuration.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Configuration.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Context.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Context.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Core.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Core.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/DiscoverADTs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/DiscoverADTs.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/ExtName.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/ExtName.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Foreign.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Foreign.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/ForeignFile.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/ForeignFile.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/GHCPrimOp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/GHCPrimOp.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/JSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/JSON.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/JSONData.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/JSONData.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Prelude.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Prelude.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/PrimOp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/PrimOp.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/Representation.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/Representation.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/STG.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/STG.idr -------------------------------------------------------------------------------- /src/Idris/Codegen/ExtSTG/StringTable.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Idris/Codegen/ExtSTG/StringTable.idr -------------------------------------------------------------------------------- /src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/src/Main.idr -------------------------------------------------------------------------------- /stg-idris2.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/stg-idris2.ipkg -------------------------------------------------------------------------------- /talks/bob2021/Bob2021.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/talks/bob2021/Bob2021.pdf -------------------------------------------------------------------------------- /talks/bob2021/Bob2021.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/talks/bob2021/Bob2021.zip -------------------------------------------------------------------------------- /talks/bob2021/custom-backend.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/talks/bob2021/custom-backend.rst -------------------------------------------------------------------------------- /test/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/Main.idr -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/chez/chez009/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/chez/chez009/expected -------------------------------------------------------------------------------- /test/chez/chez009/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /test/chez/chez009/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/chez/chez009/output -------------------------------------------------------------------------------- /test/chez/chez009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/chez/chez009/run -------------------------------------------------------------------------------- /test/chez/chez009/uni.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/chez/chez009/uni.idr -------------------------------------------------------------------------------- /test/ffi/test0/Test0.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test0/Test0.idr -------------------------------------------------------------------------------- /test/ffi/test0/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test0/expected -------------------------------------------------------------------------------- /test/ffi/test0/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test0/run -------------------------------------------------------------------------------- /test/ffi/test1/Test1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test1/Test1.idr -------------------------------------------------------------------------------- /test/ffi/test1/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test1/expected -------------------------------------------------------------------------------- /test/ffi/test1/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test1/run -------------------------------------------------------------------------------- /test/ffi/test2/Test2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test2/Test2.idr -------------------------------------------------------------------------------- /test/ffi/test2/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test2/expected -------------------------------------------------------------------------------- /test/ffi/test2/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test2/run -------------------------------------------------------------------------------- /test/ffi/test3/Test3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test3/Test3.idr -------------------------------------------------------------------------------- /test/ffi/test3/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test3/expected -------------------------------------------------------------------------------- /test/ffi/test3/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test3/run -------------------------------------------------------------------------------- /test/ffi/test4/Test4.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test4/Test4.idr -------------------------------------------------------------------------------- /test/ffi/test4/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test4/expected -------------------------------------------------------------------------------- /test/ffi/test4/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test4/run -------------------------------------------------------------------------------- /test/ffi/test5/Test5.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test5/Test5.idr -------------------------------------------------------------------------------- /test/ffi/test5/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test5/expected -------------------------------------------------------------------------------- /test/ffi/test5/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test5/run -------------------------------------------------------------------------------- /test/ffi/test6/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test6/Test.idr -------------------------------------------------------------------------------- /test/ffi/test6/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test6/expected -------------------------------------------------------------------------------- /test/ffi/test6/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/ffi/test6/run -------------------------------------------------------------------------------- /test/idris2/basic045/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic045/Test.idr -------------------------------------------------------------------------------- /test/idris2/basic045/expected: -------------------------------------------------------------------------------- 1 | Compile closed program term... 2 | -------------------------------------------------------------------------------- /test/idris2/basic045/output: -------------------------------------------------------------------------------- 1 | Compile closed program term... 2 | -------------------------------------------------------------------------------- /test/idris2/basic045/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic045/run -------------------------------------------------------------------------------- /test/idris2/basic054/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic054/Test.idr -------------------------------------------------------------------------------- /test/idris2/basic054/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic054/expected -------------------------------------------------------------------------------- /test/idris2/basic054/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic054/output -------------------------------------------------------------------------------- /test/idris2/basic054/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic054/run -------------------------------------------------------------------------------- /test/idris2/basic055/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic055/Test.idr -------------------------------------------------------------------------------- /test/idris2/basic055/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic055/expected -------------------------------------------------------------------------------- /test/idris2/basic055/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /test/idris2/basic055/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic055/run -------------------------------------------------------------------------------- /test/idris2/basic056/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic056/Test.idr -------------------------------------------------------------------------------- /test/idris2/basic056/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic056/expected -------------------------------------------------------------------------------- /test/idris2/basic056/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /test/idris2/basic056/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic056/output -------------------------------------------------------------------------------- /test/idris2/basic056/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic056/run -------------------------------------------------------------------------------- /test/idris2/basic068/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic068/Test.idr -------------------------------------------------------------------------------- /test/idris2/basic068/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic068/expected -------------------------------------------------------------------------------- /test/idris2/basic068/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic068/output -------------------------------------------------------------------------------- /test/idris2/basic068/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/basic068/run -------------------------------------------------------------------------------- /test/idris2/builtin009/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin009/Test.idr -------------------------------------------------------------------------------- /test/idris2/builtin009/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin009/expected -------------------------------------------------------------------------------- /test/idris2/builtin009/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin009/output -------------------------------------------------------------------------------- /test/idris2/builtin009/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin009/run -------------------------------------------------------------------------------- /test/idris2/builtin011/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin011/Test.idr -------------------------------------------------------------------------------- /test/idris2/builtin011/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin011/expected -------------------------------------------------------------------------------- /test/idris2/builtin011/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin011/output -------------------------------------------------------------------------------- /test/idris2/builtin011/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin011/run -------------------------------------------------------------------------------- /test/idris2/builtin012/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin012/Test.idr -------------------------------------------------------------------------------- /test/idris2/builtin012/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin012/expected -------------------------------------------------------------------------------- /test/idris2/builtin012/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin012/output -------------------------------------------------------------------------------- /test/idris2/builtin012/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/builtin012/run -------------------------------------------------------------------------------- /test/idris2/idiom001/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/idiom001/Test.idr -------------------------------------------------------------------------------- /test/idris2/idiom001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/idiom001/expected -------------------------------------------------------------------------------- /test/idris2/idiom001/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /test/idris2/idiom001/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/idiom001/output -------------------------------------------------------------------------------- /test/idris2/idiom001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/idiom001/run -------------------------------------------------------------------------------- /test/idris2/perf002/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf002/Test.idr -------------------------------------------------------------------------------- /test/idris2/perf002/expected: -------------------------------------------------------------------------------- 1 | Compile closed program term... 2 | -------------------------------------------------------------------------------- /test/idris2/perf002/output: -------------------------------------------------------------------------------- 1 | Compile closed program term... 2 | -------------------------------------------------------------------------------- /test/idris2/perf002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf002/run -------------------------------------------------------------------------------- /test/idris2/perf008/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf008/Test.idr -------------------------------------------------------------------------------- /test/idris2/perf008/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf008/expected -------------------------------------------------------------------------------- /test/idris2/perf008/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf008/output -------------------------------------------------------------------------------- /test/idris2/perf008/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/perf008/run -------------------------------------------------------------------------------- /test/idris2/record015/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/record015/Test.idr -------------------------------------------------------------------------------- /test/idris2/record015/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/record015/expected -------------------------------------------------------------------------------- /test/idris2/record015/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/record015/output -------------------------------------------------------------------------------- /test/idris2/record015/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/record015/run -------------------------------------------------------------------------------- /test/idris2/reflection014/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/reflection014/Test.idr -------------------------------------------------------------------------------- /test/idris2/reflection014/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/reflection014/expected -------------------------------------------------------------------------------- /test/idris2/reflection014/input: -------------------------------------------------------------------------------- 1 | :exec main 2 | :q 3 | -------------------------------------------------------------------------------- /test/idris2/reflection014/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/reflection014/output -------------------------------------------------------------------------------- /test/idris2/reflection014/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/reflection014/run -------------------------------------------------------------------------------- /test/idris2/total006/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/total006/Test.idr -------------------------------------------------------------------------------- /test/idris2/total006/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/total006/expected -------------------------------------------------------------------------------- /test/idris2/total006/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/total006/input -------------------------------------------------------------------------------- /test/idris2/total006/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/total006/output -------------------------------------------------------------------------------- /test/idris2/total006/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/idris2/total006/run -------------------------------------------------------------------------------- /test/prim-ops/test0/Test0.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test0/Test0.idr -------------------------------------------------------------------------------- /test/prim-ops/test0/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test0/expected -------------------------------------------------------------------------------- /test/prim-ops/test0/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test0/run -------------------------------------------------------------------------------- /test/prim-ops/test1/Test1.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test1/Test1.idr -------------------------------------------------------------------------------- /test/prim-ops/test1/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test1/expected -------------------------------------------------------------------------------- /test/prim-ops/test1/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test1/run -------------------------------------------------------------------------------- /test/prim-ops/test2/Test2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test2/Test2.idr -------------------------------------------------------------------------------- /test/prim-ops/test2/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test2/expected -------------------------------------------------------------------------------- /test/prim-ops/test2/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test2/run -------------------------------------------------------------------------------- /test/prim-ops/test3/Test3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test3/Test3.idr -------------------------------------------------------------------------------- /test/prim-ops/test3/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test3/expected -------------------------------------------------------------------------------- /test/prim-ops/test3/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test3/run -------------------------------------------------------------------------------- /test/prim-ops/test4/Test4.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test4/Test4.idr -------------------------------------------------------------------------------- /test/prim-ops/test4/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test4/expected -------------------------------------------------------------------------------- /test/prim-ops/test4/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test4/run -------------------------------------------------------------------------------- /test/prim-ops/test5/Test5.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test5/Test5.idr -------------------------------------------------------------------------------- /test/prim-ops/test5/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test5/expected -------------------------------------------------------------------------------- /test/prim-ops/test5/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test5/run -------------------------------------------------------------------------------- /test/prim-ops/test6/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test6/Test.idr -------------------------------------------------------------------------------- /test/prim-ops/test6/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test6/expected -------------------------------------------------------------------------------- /test/prim-ops/test6/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test6/run -------------------------------------------------------------------------------- /test/prim-ops/test7/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test7/Test.idr -------------------------------------------------------------------------------- /test/prim-ops/test7/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test7/expected -------------------------------------------------------------------------------- /test/prim-ops/test7/input: -------------------------------------------------------------------------------- 1 | reversed message -------------------------------------------------------------------------------- /test/prim-ops/test7/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test7/run -------------------------------------------------------------------------------- /test/prim-ops/test8/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test8/Test.idr -------------------------------------------------------------------------------- /test/prim-ops/test8/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test8/expected -------------------------------------------------------------------------------- /test/prim-ops/test8/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/prim-ops/test8/run -------------------------------------------------------------------------------- /test/tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/tests.ipkg -------------------------------------------------------------------------------- /test/typedd-book/chapter01/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter01/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter01/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter01/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter01/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter01/output -------------------------------------------------------------------------------- /test/typedd-book/chapter01/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter01/run -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/Average.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-average/Average.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-average/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-average/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/input: -------------------------------------------------------------------------------- 1 | reversed message -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-average/output -------------------------------------------------------------------------------- /test/typedd-book/chapter02-average/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-average/run -------------------------------------------------------------------------------- /test/typedd-book/chapter02-reverse/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-reverse/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter02-reverse/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-reverse/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter02-reverse/input: -------------------------------------------------------------------------------- 1 | reversed message -------------------------------------------------------------------------------- /test/typedd-book/chapter02-reverse/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-reverse/output -------------------------------------------------------------------------------- /test/typedd-book/chapter02-reverse/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter02-reverse/run -------------------------------------------------------------------------------- /test/typedd-book/chapter04-data-store/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-data-store/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter04-data-store/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-data-store/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter04-data-store/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-data-store/input -------------------------------------------------------------------------------- /test/typedd-book/chapter04-data-store/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-data-store/output -------------------------------------------------------------------------------- /test/typedd-book/chapter04-data-store/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-data-store/run -------------------------------------------------------------------------------- /test/typedd-book/chapter04-sum-inputs/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-sum-inputs/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter04-sum-inputs/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-sum-inputs/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter04-sum-inputs/input: -------------------------------------------------------------------------------- 1 | 10 2 | 20 3 | 30 4 | 40 5 | 50 6 | -1 7 | -------------------------------------------------------------------------------- /test/typedd-book/chapter04-sum-inputs/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-sum-inputs/output -------------------------------------------------------------------------------- /test/typedd-book/chapter04-sum-inputs/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter04-sum-inputs/run -------------------------------------------------------------------------------- /test/typedd-book/chapter05-dep-pairs/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-dep-pairs/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter05-dep-pairs/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-dep-pairs/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter05-dep-pairs/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-dep-pairs/input -------------------------------------------------------------------------------- /test/typedd-book/chapter05-dep-pairs/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-dep-pairs/output -------------------------------------------------------------------------------- /test/typedd-book/chapter05-dep-pairs/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-dep-pairs/run -------------------------------------------------------------------------------- /test/typedd-book/chapter05-hello/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-hello/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter05-hello/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-hello/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter05-hello/input: -------------------------------------------------------------------------------- 1 | John Smith 2 | -------------------------------------------------------------------------------- /test/typedd-book/chapter05-hello/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-hello/output -------------------------------------------------------------------------------- /test/typedd-book/chapter05-hello/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-hello/run -------------------------------------------------------------------------------- /test/typedd-book/chapter05-loops/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-loops/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter05-loops/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-loops/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter05-loops/input: -------------------------------------------------------------------------------- 1 | hello 2 | 10 3 | y 4 | 3 5 | n 6 | -------------------------------------------------------------------------------- /test/typedd-book/chapter05-loops/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-loops/output -------------------------------------------------------------------------------- /test/typedd-book/chapter05-loops/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter05-loops/run -------------------------------------------------------------------------------- /test/typedd-book/chapter06/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter06/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter06/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter06/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter06/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter06/input -------------------------------------------------------------------------------- /test/typedd-book/chapter06/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter06/output -------------------------------------------------------------------------------- /test/typedd-book/chapter06/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter06/run -------------------------------------------------------------------------------- /test/typedd-book/chapter09/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter09/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter09/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter09/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter09/input: -------------------------------------------------------------------------------- 1 | t 2 | E 3 | s 4 | -------------------------------------------------------------------------------- /test/typedd-book/chapter09/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter09/output -------------------------------------------------------------------------------- /test/typedd-book/chapter09/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter09/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd-do/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd-do/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd-do/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd-do/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd-do/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd-do/input -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd-do/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd-do/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd/input -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-cmd/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-cmd/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-total/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-total/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-total/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-total/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-total/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-total/input -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith-total/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith-total/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith/input -------------------------------------------------------------------------------- /test/typedd-book/chapter11-arith/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-arith/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-infio/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-infio/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-infio/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-infio/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-infio/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-infio/output -------------------------------------------------------------------------------- /test/typedd-book/chapter11-infio/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-infio/run -------------------------------------------------------------------------------- /test/typedd-book/chapter11-runio/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-runio/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter11-runio/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-runio/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter11-runio/input: -------------------------------------------------------------------------------- 1 | Andor 2 | Violet 3 | 4 | 5 | -------------------------------------------------------------------------------- /test/typedd-book/chapter11-runio/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-runio/output -------------------------------------------------------------------------------- /test/typedd-book/chapter11-runio/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter11-runio/run -------------------------------------------------------------------------------- /test/typedd-book/chapter12-arithstate/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-arithstate/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter12-arithstate/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-arithstate/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter12-arithstate/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-arithstate/input -------------------------------------------------------------------------------- /test/typedd-book/chapter12-arithstate/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-arithstate/run -------------------------------------------------------------------------------- /test/typedd-book/chapter12-traverse/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-traverse/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter12-traverse/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-traverse/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter12-traverse/input: -------------------------------------------------------------------------------- 1 | yes 2 | -------------------------------------------------------------------------------- /test/typedd-book/chapter12-traverse/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-traverse/output -------------------------------------------------------------------------------- /test/typedd-book/chapter12-traverse/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter12-traverse/run -------------------------------------------------------------------------------- /test/typedd-book/chapter13-stackio/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-stackio/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter13-stackio/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-stackio/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter13-stackio/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-stackio/input -------------------------------------------------------------------------------- /test/typedd-book/chapter13-stackio/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-stackio/output -------------------------------------------------------------------------------- /test/typedd-book/chapter13-stackio/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-stackio/run -------------------------------------------------------------------------------- /test/typedd-book/chapter13-vending/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-vending/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter13-vending/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-vending/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter13-vending/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-vending/input -------------------------------------------------------------------------------- /test/typedd-book/chapter13-vending/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-vending/output -------------------------------------------------------------------------------- /test/typedd-book/chapter13-vending/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter13-vending/run -------------------------------------------------------------------------------- /test/typedd-book/chapter14/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter14/Test.idr -------------------------------------------------------------------------------- /test/typedd-book/chapter14/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter14/expected -------------------------------------------------------------------------------- /test/typedd-book/chapter14/input: -------------------------------------------------------------------------------- 1 | t 2 | e 3 | s 4 | x 5 | i 6 | n 7 | y 8 | g 9 | -------------------------------------------------------------------------------- /test/typedd-book/chapter14/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter14/output -------------------------------------------------------------------------------- /test/typedd-book/chapter14/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andorp/IdrisExtSTGCodegen/HEAD/test/typedd-book/chapter14/run --------------------------------------------------------------------------------