🖼️ the compiling to closed categories compiler
Haskell
67
65 commits
updated Apr 17, 2018
isovector/thinking-with-types
📖 source material for Thinking with Types
497
awodey/CatLogNotes
Categorical Logic Notes
81
davidxiang101/cavtesting
code that doesn't make it into cavauto but could be useful
0
unimpor/CFRE
1
SonSuss/CQA
mikeshulman/catlog
Categorical logic from a categorical point of view
80
jaseemabid/inc
An incremental approach to compiler construction
83
giginet/MinSwift-workshop
♻️ minimum Swift compiler written in Swift
54
100.0%
