Similar repositories to krtx/agda-handson:

• krtx/agda-handson github similar
• shinji-kono/zf-in-agda github similar
• konn/category-agda github similar
• suharahiromichi/coq github similar
• cannorin/nml github similar
• bydriv/mhc github similar
• myuon/ghc-compiler-notes github similar
• minoki/LunarML github similar
• gfngfn/Sesterl github similar
• KLab/PlaygroundOSS github similar
• yi-editor/yi github similar
• sharkdp/fd github similar