Viewing profile — trpal
trpal
HN member- Joined
- Fri, Sep 06, 2024, 10:05 AM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About trpal
No profile information was provided.
Recent public activity
-
comment
Comment #41464698
OCaml itself is built with Makefiles, which just works. Coq has used various new tools over the years and at times has been more difficult to build than 15 years ago. With OCaml-5 …