An
introduction for laymen from The Nib. By Dan Nott and Scott Cambo.
Labels: AI, Politics, Science
As part of the SAGE project funded by Huawei,
Li-yao Xia has written in Agda a model of a gradual type system for effects and handlers. It is available on
GitHub.
Labels: Agda, Functional Programming, Types
