Skip to content

Type theory (mostly non-technical) introduction in Vietnamese.

License

Notifications You must be signed in to change notification settings

ichxorya/lythuyethinhthai

Repository files navigation

Stuffs happen in the document, check that out, i'm too lazy to write...

Note: Some images was used in the slides, idk if there would be any copyright infringement but I hope we can sort that out (i'm using this project for non-profit educational purposes -- it's just a coursework).

About

Type theory (mostly non-technical) introduction in Vietnamese.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published