Skip to content

Instantly share code, notes, and snippets.

@dellamora

dellamora/poggers.md

Created October 2, 2024 21:16
Show Gist options
  • Save dellamora/0f169d87a9198614a1c2ec6384878e68 to your computer and use it in GitHub Desktop.
Save dellamora/0f169d87a9198614a1c2ec6384878e68 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
poggers.md
  1. Base/Empty/Empty.agda
  2. Base/Unit/Unit.agda
  3. Base/Bool/Bool.agda
  4. Base/Char/Char.agda
  5. Base/Nat/Nat.agda
  6. Base/String/String.agda
  7. Base/List/List.agda
  8. Base/Maybe/Maybe.agda
  9. Base/Pair/Pair.agda
  10. Base/Equal/Equal.agda
  11. Base/Ordering/Ordering.agda
  12. Base/U64/U64.agda
  13. Base/Int/Int.agda
  14. Base/F64/F64.agda
  15. Base/Bits/Bits.agda
  16. Base/BinTree/BinTree.agda
  17. Base/AVLTree/Balance/Balance.agda
  18. Base/AVLTree/AVLTree.agda
  19. Base/OrdMap/OrdMap.agda
  20. Base/Buffer/Buffer.agda
  21. Base/ByteString/ByteString.agda
  22. Base/DiffList/DiffList.agda
  23. Base/Either/Either.agda
  24. Base/IO/IO.agda
  25. Base/JSON/JSON.agda
  26. Base/Network/WebSocket/WSConnection.agda
  27. Base/Parser/Error.agda
  28. Base/Parser/Reply.agda
  29. Base/Parser/State.agda
  30. Base/Parser/Parser.agda
  31. Base/Queue/Queue.agda
  32. Base/Result/Result.agda
  33. Base/Time/now.agda
  34. Base/V2/V2.agda
  35. Base/Word8/Word8.agda
  36. Bend/Source/TextLocation.agda
  37. Bend/Source/TextSpan.agda
  38. Bend/Source/SourceKind.agda
  39. Bend/Source/Source.agda
  40. Bend/Fun/FanKind/FanKind.agda
  41. Bend/Fun/Op/Op.agda
  42. Bend/Fun/Num/Num.agda
  43. Bend/Fun/Type/Type.agda
  44. Bend/Fun/Adt/CtrField.agda
  45. Bend/Fun/Adt/Ctr.agda
  46. Bend/Fun/Adt/Adt.agda
  47. Bend/Fun/Pattern/Pattern.agda
  48. Bend/Fun/MatchRule/MatchRule.agda
  49. Bend/Fun/Rule/Rule.agda
  50. Bend/Fun/FnDef/FnDef.agda
  51. Bend/Fun/Term/Term.agda
  52. Bend/Fun/Book/Book.agda
  53. Bend/Net/NodeKind/NodeKind.agda
  54. Bend/Net/Port/Port.agda
  55. Bend/Net/Node/Node.agda
  56. Bend/Net/Net.agda
  57. Bend/Cli/Command/Command.agda
  58. Bend/Parser/ParseBook/ParseBook.agda
  59. HVM/Mode/Mode.agda
  60. HVM/Addr/Addr.agda
  61. HVM/Term/Term.agda
  62. HVM/Redex/Redex.agda
  63. HVM/Net/Net.agda
  64. HVM/Run/State/State.agda
  65. HVM/Run/Run.agda
  66. UG/SM/Tick/Tick.agda
  67. UG/SM/Time/Time.agda
  68. UG/SM/ActionLogs/ActionLogs.agda
  69. UG/SM/StateLogs/StateLogs.agda
  70. UG/SM/SM.agda
  71. UG/SM/TimedAction/TimedAction.agda
  72. UG/SM/Game/Game.agda
  73. UG/Shape/Shape.agda
  74. UG/Chat/Message/Message.agda
  75. UG/Chat/Client/Client.agda
  76. UG/SIPD/Renderer/Renderer.agda
  77. UG/SIPD/Window/Window.agda
  78. UG/SIPD/Event/Click/Click.agda
  79. UG/SIPD/Event/Event.agda
  80. UG/SIPD/Player/Player.agda
  81. UG/SIPD/State/State.agda
  82. ARC/DSL/Types/OrdSet/OrdSet.agda
  83. ARC/DSL/Types/Integer/Integer.agda
  84. ARC/DSL/Types/Boolean/Boolean.agda
  85. ARC/DSL/Types/Union/Union.agda
  86. ARC/DSL/Types/Numerical/Numerical.agda
  87. ARC/DSL/Types/List/List.agda
  88. ARC/DSL/Types/Pair/Pair.agda
  89. ARC/DSL/Types/IntegerList/IntegerList.agda
  90. ARC/DSL/Types/Indices/Indices.agda
  91. ARC/DSL/Types/IndicesSet/IndicesSet.agda
  92. ARC/DSL/Types/IntegerSet/IntegerSet.agda
  93. ARC/DSL/Types/ListList/ListList.agda
  94. ARC/DSL/Types/Cell/Cell.agda
  95. ARC/DSL/Types/Container/Container.agda
  96. ARC/DSL/Types/Grid/Grid.agda
  97. ARC/DSL/Types/Object/Object.agda
  98. ARC/DSL/Types/Patch/Patch.agda
  99. ARC/DSL/Types/Piece/Piece.agda
  100. ARC/DSL/Types/Element/Element.agda
  101. ARC/DSL/Types/Objects/Objects.agda
  102. Imp/Expr/Expr.agda
  103. Imp/Stmt/Stmt.agda
  104. Imp/Eval/Memory/Memory.agda
  105. Imp/Eval/Config/Grid/Grid.agda
  106. Imp/Eval/Frame/Frame.agda
  107. Imp/Eval/Env/Env.agda
  108. Imp/Eval/State/Thread/Thread.agda
  109. Imp/Eval/State/Block/Block.agda
  110. Imp/Eval/State/Grid/Grid.agda
  111. Main.agda
  112. T1-.agda
  113. T0-.agda
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment