1. 16
    From Type Theory to Haskell in 10 Minutes haskell stackbuilders.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  2. 3
    Just do It: Simple Monadic Equational Reasoning pdf haskell cs.ox.ac.uk
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  3. 2
    Up-front Unit Testing in Haskell haskell github.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  4. 15
    Sum Types programming fpcomplete.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 3 comments
  5. 4
    atsboot: tiny 32 bit kernel written in ATS show programming github.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  6. 3
    Test your Javascript with QuickCheck javascript purescript.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  7. 6
    Implementing Reliable Linux Device Drivers in ATS pdf programming ats-lang.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  8. 6
    Networked Pong in Idris programming simonjf.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  9. 12
    Model-view-controller, Haskell-style haskell haskellforall.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  10. 11
    wreq: a Haskell web client library haskell serpentine.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  11. 14
    Idris: Type safe printf show video youtu.be
    puffnfresh avatar via puffnfresh 4 years ago | cached | 6 comments
  12. 7
    PureScript Javascript Interop haskell javascript purescript.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  13. 7
    Preventing heartbleed bugs with safe programming languages programming security bluishcoder.co.nz
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  14. 5
    Try Idris show programming tryidris.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  15. 4
    Better dictionary types dotnet haskell bugsquash.blogspot.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  16. 3
    A Monad in Practicality: Controlling Time compsci javascript robotlolita.github.io
    puffnfresh avatar via puffnfresh 4 years ago | cached | 1 comment
  17. 18
    Hy: Python as a Lisp python docs.hylang.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | 3 comments
  18. 4
    EvenOdd in Agda, Idris, Haskell, Scala haskell scala brianmckenna.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  19. 9
    A Scala Corrections Library ☶ slides scala slideshare.net
    puffnfresh avatar via puffnfresh 4 years ago | cached | 3 comments
  20. 2
    GHC type holes now on by default haskell github.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  21. 4
    Tidal – mini language for live coding pattern ☶ haskell toplap.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  22. 6
    Docker powered online interactive tutorial service release io.livecode.ch
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  23. 3
    Imperative Reasoning is Hard compsci liamoc.net
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  24. 4
    Idris as a Library ☶ programming brianmckenna.org
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  25. 3
    Google acquired Boston Dynamics news nytimes.com
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
<< Page 4 | Page 6 >>