oskeri

0

followers

following

stars

Organizations

graded-type-theory

Oskar Eriksson's repositories

SDP-agda

Language:Agda000

tda283

Material for TDA283 / DIT300 Compiler Construction

Language:Julia000

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION000