kraken/working_files/damas_hindley_milner_test.kp

#lang (with_import "./types.kp" stlc) stlc_start_symbol
let id = \ x . x in ((id println) (id "woo"))
Start working on STLC again, this one's coming along. Primitives, builtins, and calls, but no lambda yet 2021-01-18 02:04:35 -05:00			`#lang (with_import "./types.kp" stlc) stlc_start_symbol`
Finished implementing real Damas-Hindley-Milner type system with let polymorphism! 2021-01-24 23:10:27 -05:00			`let id = \ x . x in ((id println) (id "woo"))`