PhD Student in Germany
Matrix: @christofsteel:k-fortytwo.de
-
TU Dortmund
- Dortmund
- @christofsteel
- @[email protected]
- https://matrix.to/#/@christofsteel:k-fortytwo.de
Highlights
- Pro
Stars
1
star
written in Agda
Clear filter
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations