qgcarver

;; P. Ragde --  Proust, a Nano Proof Assistant (2016)

#lang racket

(struct Lam (var body))                 ; lambda expression
(struct App (func arg))                 ; application
(struct Arrow (domain codomain))        ; function
(struct TA (type var))                  ; type annotation

;; expr = (lambda x => expr)

qgcarver

Minimal D3D11

Minimal D3D11 reference implementation: An uncluttered Direct3D 11 setup & basic rendering primer / API familiarizer. Complete, runnable Windows application contained in a single function and laid out in a linear, step-by-step fashion that should be easy to follow from the code alone. ~215 LOC. No modern C++ / OOP / obscuring cruft. View on YouTube