Similar repositories to wjzz/Agda-mode-improvements:

• wjzz/Agda-mode-improvements github similar
• crypto-agda/explore github similar
• wjzz/Agda-theorem-library github similar
• asr/dtfl github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• wjzz/Agda-small-developments-and-examples github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• fsestini/nbe-weak-stlc github similar
• DanielSchuessler/tuple-th github similar
• crypto-agda/agda-nplib github similar
• xplat/agda-tactics github similar
• toothbrush/reflection-proofs github similar
• pigworker/BathTime github similar
• robsimmons/l10 github similar
• DanielSchuessler/th-expand-syns github similar
• larrytheliquid/generic-elim github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• gergoerdi/syntactic-stlc github similar
• shapr/usehaskellfromc github similar
• devaspot/charity github similar
• hgoes/smtlib2 github similar
• hazelgrove/agda-popl17 github similar
• pigworker/Vole github similar
• humane-software/haskell-bdd github similar
• larrytheliquid/leveling-up github similar
• bobatkey/sorting-types github similar
• quchen/amoeba github similar
• ZongzheYuan/HaltingProblem github similar
• andreasabel/ipl github similar
• JacquesCarette/pi-dual github similar
• bobatkey/system-f-parametricity-model github similar
• ezyang/lr-agda github similar
• sstucki/pts-agda github similar
• gallais/agda-nbe github similar
• nilcons/ceh github similar
• wenkokke/AutoInAgda github similar
• agda/agda-system-io github similar
• jmchapman/Relative-Monads github similar
• wenkokke/msla2014 github similar
• gallais/typing-with-leftovers github similar