Skip to content
View hallettj's full-sized avatar
189 followers · 29 following

Sponsoring

@neovim
@snowe2010
@sudo-project

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@pdxjs

Block or report hallettj

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. git-format-staged git-format-staged Public

    Git command to transform staged files using a formatting command

    TypeScript 249 22

  2. description of category laws in Idris description of category laws in Idris
    1 
    # Category Theory proofs in Idris
    2 
    
              
    
              
    
                3
                
    Idris is a language with dependent types, and is similar to Agda.
    
              
    
              
    
                4
                
    What distinguishes Idris is that it is intended to be a general-purpose language first,
    
              
    
              
    
                5
                
    and a theorem prover second.
    
              
    
          
    
    
    
  
    

    3. 

      
  3. 
  
    
    
    
      
    
        
    
            
          no_creeper_griefing  no_creeper_griefing          Public
        
    
      
    


      
    
        Datapack for Minecraft Java edition that prevents creeper explosions from destroying blocks
      
    

      
    
          
  
  Nix


          
            
    

            5
          
          
            
    

            2
          
      
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          home.nix  home.nix          Public
        
    
      
    


      
    
        My personal dot files / Home Manager config
      
    

      
    
          
  
  Nix


          
            
    

            20
          
      
    
    
    
  
    

    5.