Agda 2.5.4 has been released (Dependently typed programming language)hackage.haskell.org·2 pts·jmite·0
LambdaPiPlus: a small language for learning and hacking Dependent Typeslambda-pi-plus.github.io·3 pts·jmite·1