The singletons library

This page is the home of the singletons library, maintained by Richard Eisenberg and Jan Stolarek, allowing dependently typed programming in Haskell.


This material is based upon work supported by the National Science Foundation under Grant No. 1116620. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation