News for hackers. Stuff that matters.

A comment on Bio – experimental Lisp dialect, written in Zig. Parent comment

Re:Bio – experimental Lisp dialect, written in Zig by gylterud on Sunday July 14, 2024 @02:41PM (#40962538)
This is also what Agda does (though \ is synonymous).
[ Parent | on HN ]

There are no comments on this comment yet.