Useful resources for the Frege programming language
updated at July 13, 2023, 1:03 p.m.
Useful resources for the Eta programming language
updated at Feb. 26, 2024, 5:22 p.m.
Useful resources for the Ledger command-line accounting system
updated at March 7, 2024, 4:14 p.m.