2 Commits

Author	SHA1	Message	Date
tacheometry	710547df83	Fix paranthesis (#13)	2021-03-14 16:29:46 -07:00
AtomicOperation	d04a41fcff	Change to minimal-mistakes theme (#11) ... Use minimal-mistakes theme. Add a splash front page and a getting started page.	2021-02-12 12:26:08 -08:00

Renamed from docs/typecheck.md (Browse further)