NaeosPsy

11 ms·

61.
Type Witnesses in Haskell(serokell.io)
10 points by NaeosPsy 7y ago|0 comments
62.
Learning Haskell: A Resource Guide(medium.com)
3 points by NaeosPsy 7y ago|0 comments
63.
Haskell in Production: Riskbook(serokell.io)
72 points by NaeosPsy 7y ago|22 comments
64.
How to Survive Working Remotely(medium.com)
2 points by NaeosPsy 7y ago|0 comments
65.
Lorentz: Implementing Smart Contract EDSL in Haskell(serokell.io)
1 points by NaeosPsy 7y ago|0 comments
66.
Developing a Compiler for a Living(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
67.
Haskell in Production(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
68.
Incomplete and Utter Introduction to Modal Logic, Pt. 2(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
69.
Introduction to Functional Programming(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
70.
Physics, History and Haskell – Interview with Rinat Stryungis(serokell.io)
38 points by NaeosPsy 7y ago|11 comments
71.
A Few Haskell Highlights of 2019(serokell.io)
2 points by NaeosPsy 7y ago|0 comments
72.
Top Haskell Open-Source Projects for Linux Users(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
73.
Blockchain vs. DLT: What's the Difference?(serokell.io)
1 points by NaeosPsy 7y ago|0 comments
74.
GitLab vs. GitHub: Comparison of Features(serokell.io)
2 points by NaeosPsy 7y ago|0 comments
75.
How to Learn Haskell in 10 Minutes a Day(serokell.io)
6 points by NaeosPsy 7y ago|0 comments
76.
Incomplete and Utter Introduction to Modal Logic, Pt. 1(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
77.
Haskell Developers Take First Place at TON Smart Contracts Contest(serokell.io)
4 points by NaeosPsy 7y ago|0 comments
78.
How to Win at Web Summit(serokell.io)
2 points by NaeosPsy 7y ago|1 comments
79.
TON: Is Haskell More Fun than FunC?(serokell.io)
4 points by NaeosPsy 7y ago|0 comments
80.
Best Haskell Open-Source Projects(serokell.io)
2 points by NaeosPsy 7y ago|0 comments
81.
Software Written in Haskell: Stories of Success(serokell.io)
2 points by NaeosPsy 7y ago|0 comments
82.
Stay Tuned: Best Haskell Sources to Subscribe(serokell.io)
2 points by NaeosPsy 7y ago|0 comments
83.
Learning Haskell: A Resource Guide(serokell.io)
5 points by NaeosPsy 7y ago|0 comments
84.
Haskell. History of a Community-Powered Language(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
85.
How to Survive Working Remotely(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
86.
Best Elixir Conferences to Attend(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
87.
Haskell: A Functional Love Story(serokell.io)
3 points by NaeosPsy 7y ago|0 comments
88.
by NaeosPsy 7y ago
http://hackage.haskell.org/package/singletons Singletons is a Haskell library. In this context, it is used to emulate dependent types which Haskell does not yet have.
89.
Dimensions and Haskell: Singletons in Action(serokell.io)
46 points by NaeosPsy 7y ago|7 comments
90.
Libra: Politically Correct Review(serokell.io)
2 points by NaeosPsy 7y ago|0 comments

More ›