siraben

53 ms·

1. 571.▲
   by siraben 7y ago

   I find Lisps to be very well suited towards this task, because of its homoiconicity and features like quasiquotation, effectively you have access to the best macro system possible. Related: Z80 assembler in Scheme https://github.
2. 572.▲
   by siraben 7y ago

   If you're looking to do some dependently-typed programming and theorem proving, Coq is perhaps the most mature tool to learn. It's actually two different languages, Gallina, which is what is shown in OP, and Ltac, which is the ta
3. 573.▲
   by siraben 7y ago

   As someone who has just got out of the curriculum that enforces usage of the TI calculators, given the ubiquity of these devices, I wish it was used more in teaching students about low-level programming, hardware, etc. especially with older