L

learn-haskell-coq-ml-etc

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 03, 2024 — Aug 03, 2025 Showing page 18 of 47 Search / Filter on:
write/read bytestring to/from network	Harold Carr	More...				over 7 years ago
Added tamper-evident ledger example.	Harold Carr	More...				over 7 years ago
Add command to check ledger validity. Removed Env constraint on Ledger.	Harold Carr	More...				over 7 years ago
Use Async.concurrently to ensure miner threads get terminated.	Harold Carr	More...				over 7 years ago
Refactor. Use hslogger instead of RIO logger (because of runtime data dependencies).	Harold Carr	More...				over 7 years ago
refactor	Harold Carr	More...				over 7 years ago
rename	Harold Carr	More...				over 7 years ago
refactor	Harold Carr	More...				over 7 years ago
refactor	Harold Carr	More...				over 7 years ago
make framework fully polymorphic in terms of ledger item type	Harold Carr	More...				over 7 years ago
added ledger modify	Harold Carr	More...				over 7 years ago
Create specific ledger outside framework.	Harold Carr	More...				over 7 years ago
change ledger to record of function closures	Harold Carr	More...				over 7 years ago
Change locked ledger to use MVars.	Harold Carr	More...				over 7 years ago
CAS Ledger (unused)	Harold Carr	More...				over 7 years ago
begin of CAS ledger	Harold Carr	More...				over 7 years ago
refactor	Harold Carr	More...				over 7 years ago
refactor	Harold Carr	More...				over 7 years ago
remove unnecessary type parameter	Harold Carr	More...				over 7 years ago
put DOS random inside ledger impl	Harold Carr	More...				over 7 years ago
clean up LedgerLockedImpl	Harold Carr	More...				over 7 years ago
Close listen port on exception. Cleanup.	Harold Carr	More...				over 7 years ago
Make Ledger into abstract data type.	Harold Carr	More...				over 7 years ago
use RIO	Harold Carr	More...				over 7 years ago
let's build a blockchain	Harold Carr	More...				over 7 years ago
cleanup	Harold Carr	More...				over 7 years ago
typeable	Harold Carr	More...				over 7 years ago
cardano update	Harold Carr	More...				over 7 years ago
move things	Harold Carr	More...				over 7 years ago
misc	Harold Carr	More...				over 7 years ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
46
47
→