Use comments in Introduction.lagda.md
Home /
Input Output /
formal-ledger-specifications
Jul 05, 3-4 AM (0)
Jul 05, 4-5 AM (0)
Jul 05, 5-6 AM (0)
Jul 05, 6-7 AM (0)
Jul 05, 7-8 AM (0)
Jul 05, 8-9 AM (0)
Jul 05, 9-10 AM (0)
Jul 05, 10-11 AM (0)
Jul 05, 11-12 PM (0)
Jul 05, 12-1 PM (0)
Jul 05, 1-2 PM (0)
Jul 05, 2-3 PM (0)
Jul 05, 3-4 PM (0)
Jul 05, 4-5 PM (0)
Jul 05, 5-6 PM (0)
Jul 05, 6-7 PM (0)
Jul 05, 7-8 PM (0)
Jul 05, 8-9 PM (0)
Jul 05, 9-10 PM (0)
Jul 05, 10-11 PM (0)
Jul 05, 11-12 AM (0)
Jul 06, 12-1 AM (0)
Jul 06, 1-2 AM (0)
Jul 06, 2-3 AM (0)
Jul 06, 3-4 AM (0)
Jul 06, 4-5 AM (0)
Jul 06, 5-6 AM (0)
Jul 06, 6-7 AM (0)
Jul 06, 7-8 AM (0)
Jul 06, 8-9 AM (0)
Jul 06, 9-10 AM (0)
Jul 06, 10-11 AM (0)
Jul 06, 11-12 PM (0)
Jul 06, 12-1 PM (0)
Jul 06, 1-2 PM (0)
Jul 06, 2-3 PM (0)
Jul 06, 3-4 PM (0)
Jul 06, 4-5 PM (0)
Jul 06, 5-6 PM (0)
Jul 06, 6-7 PM (0)
Jul 06, 7-8 PM (0)
Jul 06, 8-9 PM (0)
Jul 06, 9-10 PM (0)
Jul 06, 10-11 PM (0)
Jul 06, 11-12 AM (0)
Jul 07, 12-1 AM (1)
Jul 07, 1-2 AM (0)
Jul 07, 2-3 AM (1)
Jul 07, 3-4 AM (0)
Jul 07, 4-5 AM (0)
Jul 07, 5-6 AM (0)
Jul 07, 6-7 AM (0)
Jul 07, 7-8 AM (1)
Jul 07, 8-9 AM (0)
Jul 07, 9-10 AM (0)
Jul 07, 10-11 AM (0)
Jul 07, 11-12 PM (0)
Jul 07, 12-1 PM (0)
Jul 07, 1-2 PM (1)
Jul 07, 2-3 PM (0)
Jul 07, 3-4 PM (1)
Jul 07, 4-5 PM (0)
Jul 07, 5-6 PM (0)
Jul 07, 6-7 PM (2)
Jul 07, 7-8 PM (0)
Jul 07, 8-9 PM (0)
Jul 07, 9-10 PM (0)
Jul 07, 10-11 PM (0)
Jul 07, 11-12 AM (0)
Jul 08, 12-1 AM (0)
Jul 08, 1-2 AM (0)
Jul 08, 2-3 AM (0)
Jul 08, 3-4 AM (0)
Jul 08, 4-5 AM (0)
Jul 08, 5-6 AM (0)
Jul 08, 6-7 AM (2)
Jul 08, 7-8 AM (0)
Jul 08, 8-9 AM (0)
Jul 08, 9-10 AM (0)
Jul 08, 10-11 AM (0)
Jul 08, 11-12 PM (0)
Jul 08, 12-1 PM (2)
Jul 08, 1-2 PM (1)
Jul 08, 2-3 PM (0)
Jul 08, 3-4 PM (0)
Jul 08, 4-5 PM (0)
Jul 08, 5-6 PM (0)
Jul 08, 6-7 PM (1)
Jul 08, 7-8 PM (0)
Jul 08, 8-9 PM (0)
Jul 08, 9-10 PM (0)
Jul 08, 10-11 PM (0)
Jul 08, 11-12 AM (0)
Jul 09, 12-1 AM (0)
Jul 09, 1-2 AM (0)
Jul 09, 2-3 AM (0)
Jul 09, 3-4 AM (0)
Jul 09, 4-5 AM (0)
Jul 09, 5-6 AM (0)
Jul 09, 6-7 AM (0)
Jul 09, 7-8 AM (0)
Jul 09, 8-9 AM (0)
Jul 09, 9-10 AM (0)
Jul 09, 10-11 AM (1)
Jul 09, 11-12 PM (0)
Jul 09, 12-1 PM (0)
Jul 09, 1-2 PM (3)
Jul 09, 2-3 PM (0)
Jul 09, 3-4 PM (0)
Jul 09, 4-5 PM (0)
Jul 09, 5-6 PM (0)
Jul 09, 6-7 PM (0)
Jul 09, 7-8 PM (0)
Jul 09, 8-9 PM (0)
Jul 09, 9-10 PM (0)
Jul 09, 10-11 PM (0)
Jul 09, 11-12 AM (0)
Jul 10, 12-1 AM (0)
Jul 10, 1-2 AM (0)
Jul 10, 2-3 AM (0)
Jul 10, 3-4 AM (0)
Jul 10, 4-5 AM (0)
Jul 10, 5-6 AM (0)
Jul 10, 6-7 AM (0)
Jul 10, 7-8 AM (0)
Jul 10, 8-9 AM (0)
Jul 10, 9-10 AM (2)
Jul 10, 10-11 AM (0)
Jul 10, 11-12 PM (0)
Jul 10, 12-1 PM (0)
Jul 10, 1-2 PM (0)
Jul 10, 2-3 PM (7)
Jul 10, 3-4 PM (0)
Jul 10, 4-5 PM (0)
Jul 10, 5-6 PM (0)
Jul 10, 6-7 PM (0)
Jul 10, 7-8 PM (0)
Jul 10, 8-9 PM (0)
Jul 10, 9-10 PM (0)
Jul 10, 10-11 PM (0)
Jul 10, 11-12 AM (0)
Jul 11, 12-1 AM (0)
Jul 11, 1-2 AM (0)
Jul 11, 2-3 AM (0)
Jul 11, 3-4 AM (0)
Jul 11, 4-5 AM (0)
Jul 11, 5-6 AM (0)
Jul 11, 6-7 AM (2)
Jul 11, 7-8 AM (3)
Jul 11, 8-9 AM (0)
Jul 11, 9-10 AM (0)
Jul 11, 10-11 AM (0)
Jul 11, 11-12 PM (0)
Jul 11, 12-1 PM (4)
Jul 11, 1-2 PM (0)
Jul 11, 2-3 PM (1)
Jul 11, 3-4 PM (0)
Jul 11, 4-5 PM (0)
Jul 11, 5-6 PM (0)
Jul 11, 6-7 PM (0)
Jul 11, 7-8 PM (0)
Jul 11, 8-9 PM (0)
Jul 11, 9-10 PM (0)
Jul 11, 10-11 PM (0)
Jul 11, 11-12 AM (0)
Jul 12, 12-1 AM (0)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
Jul 12, 3-4 AM (0)
36 commits this week
Jul 05, 2025
-
Jul 12, 2025
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from c965e4a4561c7405122a40c5cbfe851dc76d2e17
Artifacts generated from cbe208ee5939ba0ceb3491ee5d6a15c1c11bffc5
Merge branch 'master' into carlos/change-div-to-html-comments-hidden-agda
Add hook to mkdocs to use html comments for hidden code
Artifacts generated from c201c2e44a8b226f6cde42c15af5d9a575e1fe63
Add type class instance for setminus (#817)
Move ChangePPGroup to Gov
Unify Governance and Gov folders
Artifacts generated from 2ebdf8aaee63d84739a816500c4269865f763ce4
Artifacts generated from 96beece274eb7c8760744c46a8a31c9d5f019798
Merge branch 'master' into 809-add-type-class-instance-for-set-minus
Merge branch 'master' into 810-txsize-is-a-field-of-the-wrong-type
Merge branch 'master' into carlos/cleanup-script-verification
Merge branch 'master' into carlos/make-txdats-a-set
Merge branch 'master' into carlos/hoist-era-independent-modules
Refactor `feesOK` (#816)
* Inline minfee check * Refactor collateral check to collateralCheck function * Change UTXOW-inductive to UTXOW⇒UTXO
Move Types.GovStructure to Governance.Base
Move GovernanceActions to Governance.Actions
Artifacts generated from af0623c435dfd26647c22d65079c548dd7ead313
fix toc of CONTRIBUTING
Add --safe flag to Script Verification modules
Move ScriptVerification to Ledger.Conway; remove dep. on Conformance
reorganize instances
Update documentation