What are types (in type systems)? Posted by stereobooster on Tuesday August 21, 2018 @10:12AM from the github.com dept. https://github.com/stereobooster/practical-types/blob/master/posts/what-are-types.md ( no comments | on HN )
There are no comments yet.