Viewing profile — mvcccccc
mvcccccc
HN member- Joined
- Mon, May 25, 2020, 8:22 PM UTC
- HN karma
- 7
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mvcccccc
No profile information was provided.
Recent public activity
-
comment
Comment #23304705
IMO, it would be easy to create a new dependently typed language with on a subset of the Rust or Swift syntax. Here's a tutorial written by an Idris contributor. http://davidchrist…