Dependent Haskell, GADTs, Type Families, Kind System
Does a railway operator need to know about all the legs of my journey so as to offer me passenger rights?
jonworth.eu·11h
Time for your next smart home project? Raspberry Pi adds an improved touchscreen, so it's time to get building
techradar.com·2d
Loading...Loading more...