ant-arctica

## Excessive Smithing.zip

      
              2 files
            
          
              0 forks
            
          
              1 comment
            
          
              0 stars
            
          
                ant-arctica
                / Excessive Smithing.zip
            
            
              Last active
              July 3, 2023 15:18
            
              
                Advancement for crafting all 4000 possible armor trim combinations
              
          
      This file has been truncated, but you can view the full file.
    

            View raw
        
    
## LinearLogic.hs
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE LinearTypes #-}
{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE NoImplicitPrelude #-}

-- Quick demonstration that linear-base is enough to implement linear logic

import Data.Array.Destination
import Data.Array.Polarized.Pull
	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE LinearTypes #-}
	{-# LANGUAGE OverloadedRecordDot #-}
	{-# LANGUAGE NoImplicitPrelude #-}

	-- Quick demonstration that linear-base is enough to implement linear logic

	import Data.Array.Destination
	import Data.Array.Polarized.Pull