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…
Latest News
⚑ Report a ProblemTech news from the best sources