A program is a tree — building a Verbose compiler in Verbose
Verbose is a small experimental language I'm building. Its compiler proves properties about your code — like termination — and emits tiny, readable x8…
AI & ML
⚑ Report a ProblemLatest AI & ML news from Tech News