Programming in Haskell

Functional Programming, Type Theory and Induction


Some relative page about the "dependent types"

#haskell #lamda calculate #type dependent #logics

Posted by clins210 on 2020-11-23