This is a placeholder for GIFs.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //! Validation tests for the .claude/ directory structure. | |
| //! | |
| //! These tests enforce the layering model: GLOBAL CONTEXT is always-on and | |
| //! non-procedural, AGENTS express perspective without workflows, SKILLS | |
| //! describe capabilities without success criteria, and REFERENCES are | |
| //! explicitly elective playbooks. | |
| //! | |
| //! ## What We Check | |
| //! | |
| //! **CLAUDE.md (Global Context)** |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| # Test run summary | |
| # ================ | |
| # | |
| # Basic test run: | |
| # ./play.sh | |
| # | |
| # MADHOUSE mode (randomized fuzzing): | |
| # MADHOUSE=1 ./play.sh | |
| # |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Clarinet.test({ | |
| name: "ascii-to-buff", | |
| runs: 1000, | |
| logs: true, | |
| data: { | |
| text: { | |
| minLength: 0, | |
| maxLength: 127, | |
| } | |
| }, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import { Clarinet, Tx, Chain, Account, types } | |
| from 'https://deno.land/x/[email protected]/index.ts'; | |
| import { assert, assertEquals } | |
| from 'https://deno.land/[email protected]/testing/asserts.ts'; | |
| import fc | |
| from 'https://cdn.skypack.dev/fast-check'; | |
| Clarinet.test({ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| resolver: | |
| lts-11.22 | |
| extra-deps: | |
| - hedgehog-0.6.1 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TemplateHaskell #-} | |
| module Discordia.TH where | |
| import Language.Haskell.Extract (functionExtractorMap) | |
| import Language.Haskell.TH | |
| import Test.Framework (defaultMain) | |
| import Test.HUnit (Test(..)) | |
| discover :: ExpQ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module SumProduct ( | |
| KnownColor (..) | |
| , RGB (..) | |
| , redColor | |
| , magenta | |
| , red | |
| ) where | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# OPTIONS_GHC -fno-warn-unused-imports #-} | |
| import Control.Applicative | |
| import Control.Monad | |
| import Control.Monad.IO.Class | |
| import Control.Monad.Trans.Except | |
| import Data.Aeson |
NewerOlder