Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types
(opens in new tab)
(medium.com)
17 points
pyotrgalois
10y ago
1 comments
Share
Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types | Better HN
1 comments
default
newest
oldest
iso-8859-1
10y ago
Another langauge that tries not to be based on lists of characters:
https://github.com/lamdu/lamdu
j
/
k
navigate · click thread line to collapse
