@lupyuen Not sure if #Haskell urgently needs another extension. At least to experiment with dependent type programming I find #Idris very pleasant 😀

Follow

@marcuse1w OK somebody create Visual Haskell please... So I understand those funny symbols 😉

@marcuse1w now I know how it feels when I ask people to learn Rust 😀

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.