Agda-Material
Characters
Initializing search
    pdmosses/agda-material
    • README
    • Test
    • Library
    • HTML
    pdmosses/agda-material
    • README
      • About Agda-Material
      • User Guide
      • CHANGELOG
    • Test
      • Test
          • Sub
            • Base
          • LaTeX
          • Markdown
          • Test
          • Test2
          • Characters
          • LaTeX
          • Markdown
    • Library
        • Primitive
    • HTML
    1. Test
    2. Test
    3. Search

    Characters

    module Test.Search.Characters where
    
    -- ASCII:
    -- ! " # $ % & ' ( ) * + , - . / 0 9 : ; < = > ? @ A Z [ \ ] ^ _ ` a z { | } ~
    
    -- Searchable ASCII characters:
    -- ! $ % & ( ) , . / 0 9 ? @ = [ ] A Z _ ` a z { | }
    
    -- Non-searchable ASCII characters:
    -- " ' * + - : < > \ ^ ~
    
    -- Corrupted results:
    -- # ;
    Made with Material for MkDocs