├── .gitignore ├── Makefile ├── README.md ├── idris ├── Bank.idr ├── Bank2.idr ├── Bank2_EIO.idr ├── Bank2_IO.idr ├── Bank3.idr ├── Bank3_EIO.idr ├── Bank3_IO.idr ├── Bank4.idr ├── Bank4_EIO.idr ├── Bank4_IO.idr ├── Bank_EIO.idr ├── Bank_IO.idr ├── Mul.idr ├── Mul_EIO.idr ├── Namecoin.idr ├── Namecoin_EIO.idr ├── RPS.idr ├── RPS.lll ├── RPS.se ├── RPS_EIO.idr ├── RPS_IO.idr └── misc │ ├── EVM.idr │ ├── ImmutableExample.idr │ ├── RPS-report.idr │ ├── Store.idr │ ├── StoreExample2.idr │ ├── StoreExample3.idr │ ├── Transactions.idr │ ├── TransactionsNat.idr │ └── TransactionsZZ.idr ├── lll ├── mul2.hs ├── mul2.hs.lll ├── mul2.se ├── mul2.se.lll └── mul2.se.sign └── serpent ├── Mul.se └── Mul2.se /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/README.md -------------------------------------------------------------------------------- /idris/Bank.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank.idr -------------------------------------------------------------------------------- /idris/Bank2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank2.idr -------------------------------------------------------------------------------- /idris/Bank2_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank2_EIO.idr -------------------------------------------------------------------------------- /idris/Bank2_IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank2_IO.idr -------------------------------------------------------------------------------- /idris/Bank3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank3.idr -------------------------------------------------------------------------------- /idris/Bank3_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank3_EIO.idr -------------------------------------------------------------------------------- /idris/Bank3_IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank3_IO.idr -------------------------------------------------------------------------------- /idris/Bank4.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank4.idr -------------------------------------------------------------------------------- /idris/Bank4_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank4_EIO.idr -------------------------------------------------------------------------------- /idris/Bank4_IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank4_IO.idr -------------------------------------------------------------------------------- /idris/Bank_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank_EIO.idr -------------------------------------------------------------------------------- /idris/Bank_IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Bank_IO.idr -------------------------------------------------------------------------------- /idris/Mul.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Mul.idr -------------------------------------------------------------------------------- /idris/Mul_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Mul_EIO.idr -------------------------------------------------------------------------------- /idris/Namecoin.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Namecoin.idr -------------------------------------------------------------------------------- /idris/Namecoin_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/Namecoin_EIO.idr -------------------------------------------------------------------------------- /idris/RPS.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/RPS.idr -------------------------------------------------------------------------------- /idris/RPS.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/RPS.lll -------------------------------------------------------------------------------- /idris/RPS.se: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/RPS.se -------------------------------------------------------------------------------- /idris/RPS_EIO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/RPS_EIO.idr -------------------------------------------------------------------------------- /idris/RPS_IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/RPS_IO.idr -------------------------------------------------------------------------------- /idris/misc/EVM.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/EVM.idr -------------------------------------------------------------------------------- /idris/misc/ImmutableExample.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/ImmutableExample.idr -------------------------------------------------------------------------------- /idris/misc/RPS-report.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/RPS-report.idr -------------------------------------------------------------------------------- /idris/misc/Store.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/Store.idr -------------------------------------------------------------------------------- /idris/misc/StoreExample2.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/StoreExample2.idr -------------------------------------------------------------------------------- /idris/misc/StoreExample3.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/StoreExample3.idr -------------------------------------------------------------------------------- /idris/misc/Transactions.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/Transactions.idr -------------------------------------------------------------------------------- /idris/misc/TransactionsNat.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/TransactionsNat.idr -------------------------------------------------------------------------------- /idris/misc/TransactionsZZ.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/idris/misc/TransactionsZZ.idr -------------------------------------------------------------------------------- /lll/mul2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/lll/mul2.hs -------------------------------------------------------------------------------- /lll/mul2.hs.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/lll/mul2.hs.lll -------------------------------------------------------------------------------- /lll/mul2.se: -------------------------------------------------------------------------------- 1 | def double(v): 2 | return (v*2) 3 | -------------------------------------------------------------------------------- /lll/mul2.se.lll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/lll/mul2.se.lll -------------------------------------------------------------------------------- /lll/mul2.se.sign: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/lll/mul2.se.sign -------------------------------------------------------------------------------- /serpent/Mul.se: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/serpent/Mul.se -------------------------------------------------------------------------------- /serpent/Mul2.se: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vindaloo-thesis/examples/HEAD/serpent/Mul2.se --------------------------------------------------------------------------------