wrhn
Comment

Comment by rafaelRiv

This is my experience with llm and all dependent type language like idris2
parent rafaelRiv 8 days ago

No comments yet

Be the first to share your thoughts.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton