TS-Experiments

You can find a description of my work in the following .md files:

Name		Name	Last commit message	Last commit date
HOTypes.ts		HOTypes.ts
Higher Order Types.md		Higher Order Types.md
MyEmail.ts		MyEmail.ts
README.md		README.md
Writing Full-Fledged Type Programs in Typescript.md		Writing Full-Fledged Type Programs in Typescript.md
eval_new.ts		eval_new.ts
eval_new_tests.ts		eval_new_tests.ts
examples.ts		examples.ts
implementation.ts		implementation.ts
misc.ts		misc.ts
multi_recurse.ts		multi_recurse.ts
recurse.ts		recurse.ts
recurse_tests.ts		recurse_tests.ts
tests.ts		tests.ts
user_defs.ts		user_defs.ts
validate.ts		validate.ts

Navigation Menu