News for hackers. Stuff that matters.

A comment on Wren is a small, fast, class-based concurrent scripting language. Parent comment

Re:Wren is a small, fast, class-based concurrent scripting l... by awesomelvin on Sunday August 28, 2022 @08:08PM (#32633455)
I recently fell in love with Agda and it seems like you'd like it too. It's basically Haskell but even more mathematical, pure, abstract and total.
[ Parent | on HN ]
Re:Wren is a small, fast, class-based concurrent scripting l... by mncharity on Monday August 29, 2022 @09:53AM (#32638259)
Agda[1] is fun. Also Idris[2] - more programming language, less proof assistant.

[1] https://wiki.portal.chalmers.se/agda/pmwiki.php https://github.com/agda/agda [2] https://www.idris-lang.org/

[ Parent | on HN ]