Hacker News new | ask | show | jobs
by yuppiemephisto 190 days ago
I’m doing similar with porting shellcheck Haskell -> Lean