crux

↗ HN profile [ 93.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Hi HN! Seven years ago I posted the very first version of PANTAGRUEL (my phone has started autocorrecting to all-caps; I have no idea why but I like it), a “lightweight formal methods” language. Since then it’s gone…

  2. Stolze-Smith Shorthand (stolze-smith.com)
  3. Smith Shorthand (blog.zdsmith.com)
  4. A Combinatory Rosetta Stone (blog.zdsmith.com)
  5. On Culture-Games (blog.zdsmith.com)
  6. On Culture-Games (blog.zdsmith.com)
  7. Multiocular O (en.wikipedia.org)
  8. A Curriculum of Vira (blog.zdsmith.com)
  9. Three Shorthands (blog.zdsmith.com)
  10. Compile-Time Sort in Nim (blog.zdsmith.com)
  11. Nim for Python Programmers (blog.zdsmith.com)