search

kopek-org / niagara-lang

Compiler for the Niagara language
GNU Affero General Public License v3.0
3 stars 6 forks source link

Formalisation typage des formes #5

Closed krtab closed 1 year ago

krtab commented 1 year ago

PDF rendition of the markdow (github butchers the math): preuve.pdf