Dependent Types in HaskellHaskell Srbija Grupa posvećena ucenju i popularizaciji Haskell programskog jezika "Pure mathematics is, in its way, the poetry of logical ideas." Albert Einstein "Most good programmers do programming not because they expect to get paid or get adulation by the public, but because it is fun to program." Linus Torvalds This topic is considered as advanced and some prior knowledge of Haskell is assume
{{#tags}}- {{label}}
{{/tags}}