Name: Anonymous 2018-12-25 20:36
Front page poast on H*ckernews, which is full of degenerates and weebs after all:
https://react-kawaii.now.sh/
https://react-kawaii.now.sh/
type relationsAlso known as functions from types to types.. something that OCaml lacks.
before the dependent types and proofs became a fadHaskell now supports dependent types, no proofs though as it is too inconsistent for that.