Opened this issue 2 years ago · 0 comments
https://okmij.org/ftp/papers/LogicT.pdf (12 pages)
See also https://github.com/JeffreyBenjaminBrown/learn-logict