Antonina Nepeivoda's starred repositories
plfa.github.io
An introduction to programming language theory in Agda
autoreject
Autoreject.org — An automatic review generator
refal-5-lambda
Компилятор Рефала-5λ
Program Systems Institute of RAS
Pereslavl-Zalesskiy
An introduction to programming language theory in Agda
Autoreject.org — An automatic review generator
Компилятор Рефала-5λ