Similar repositories to solomon-b/HowardLang:

• ssbothwell/HowardLang github similar
• gibiansky/IHaskell github similar
• inanna-malick/hgit github similar
• solomon-b/HowardLang github similar
• Boarders/agda-pipes github similar
• masaeedu/co-optics github similar
• rampion/concrete-kinds github similar
• ssbothwell/hcatlab github similar
• dpiponi/infinite-quine github similar
• norm2782/uuagc github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• Twey/agda-imp github similar
• plt-hokusai/ahc github similar
• BebeSparkelSparkel/biparsing github similar
• isovector/hs2 github similar
• cocreature/robinhood github similar
• isovector/wheatley github similar
• ssbothwell/hmud github similar
• thoughtpolice/asc github similar
• ssbothwell/monoidal-functors github similar
• nokijp/pietc github similar
• andrewthad/bytehash github similar
• jxv/grid-proto github similar
• luke-clifton/generic-monoid github similar
• masaeedu/tensorfold github similar
• LightAndLight/lambdapi github similar
• goolord/ditto github similar
• adjoint-io/cfrac github similar
• jxv/turn-loop github similar
• tdietert/lambda-pi github similar
• jcpetruzza/generics-gadt github similar
• LightAndLight/bide github similar
• typeclasses/hex-text github similar
• proglang/ldgv github similar
• conal/circat github similar
• ekmett/monad-ran github similar
• TheMatten/first-class-instances github similar
• Lysxia/test-monad-laws github similar
• neongreen/to github similar