kaa1el

Pinned Repositories

plfa_solution
solution to the exercises from https://plfa.github.io/
Language:Agda41
cs5356
Course repository of Building Startup Systems Section A (CS5356)
Language:Python00
hott_agda
Homotopy Type Theory in Agda
00
skeleton
Language:Java00
cs5356
Course repository of Building Startup Systems Section A (CS5356)
Language:Python27127

kaa1el's Repositories

kaa1el/plfa_solution
solution to the exercises from https://plfa.github.io/
Language:Agda41
kaa1el/hott_agda
Homotopy Type Theory in Agda
kaa1el/cs5356
Course repository of Building Startup Systems Section A (CS5356)
Language:Python
kaa1el/skeleton
Language:Java