This repository contains lecture notes for the Type Systems course given in Institute of Computer Science, University of Wrocław in Autumn 2023. The main idea behind these notes is to write them together with the students. We invite students attending the course to contribute to these notes. See Contribution Guideline for more details how to contribute to this project. You can also see our issue tracker.
forked from ppolesiuk/type-systems-notes
-
Notifications
You must be signed in to change notification settings - Fork 0
Lecture notes for the Type Systems course given in Autumn 2023
License
w0nsh/type-systems-notes
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Lecture notes for the Type Systems course given in Autumn 2023
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TeX 57.8%
- Rocq Prover 41.8%
- Makefile 0.4%