Articles from danilafe.com

Articles from danilafe.com

How Many Values Does a Boolean Have? (2020) (danilafe.com)
4 days ago

Microfeatures I Love in Blogs and Personal Websites (danilafe.com)
2024-6-24

Bergamot: Exploring Programming Language Inference Rules (danilafe.com)
2024-2-19 programming

The "Is Something" Pattern in Agda (danilafe.com)
2023-9-3

Proving My Compiler Code Incorrect With Alloy (danilafe.com)
2023-6-6

Previous Page Next Page