# logics

Some relative page about the "dependent types"

#haskell #lamda calculate #type dependent #logics

Posted by clins210 on 2020-11-23