HN Explorer

pyautogui

↗ HN profile [ 43.9 ms ] full profile
Karma
4
Created
February 12, 2022 (4y ago)
Submissions
0
  1. Enu 0.1.99 (github.com)
    2 points 1
  2. A tutorial implementation of a dependently typed lambda calculus (2001) [pdf] (andres-loeh.de)
    2 points 0