ant-arctica

ant-arctica / LinearLogic.hs

Last active July 3, 2023 13:22

Implementing linear logic (double negation, ...) in linear haskell using linear-base

	{-# 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

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