Contracts

This was previously the home of https://github.com/HIPERFIT/contracts, a simple algebraic financial contract language.

The version in this repository is outdated and has not been cleaned up in a while; please use the new location.

Name		Name	Last commit message	Last commit date
Latest commit History 235 Commits
Coq		Coq
Haskell		Haskell
doc		doc
test		test
.gitignore		.gitignore
CONTRACTSIG.sig		CONTRACTSIG.sig
CURRENCY.sig		CURRENCY.sig
Contract.sig		Contract.sig
Contract.sml		Contract.sml
ContractBase.sml		ContractBase.sml
ContractMonad.sml		ContractMonad.sml
ContractSafe.sml		ContractSafe.sml
ContractTransform.sml		ContractTransform.sml
ContractTriggers.sml		ContractTriggers.sml
Currency.sml		Currency.sml
DateUtil.sig		DateUtil.sig
DateUtil.sml		DateUtil.sml
DateUtilOld.sml		DateUtilOld.sml
Instruments.sml		Instruments.sml
Instruments_test.sml		Instruments_test.sml
LICENSE		LICENSE
LargeInt.sml		LargeInt.sml
ListSort.sig		ListSort.sig
ListSort.sml		ListSort.sml
Makefile		Makefile
README.md		README.md
SimpleDate.sml		SimpleDate.sml
contract.mlb		contract.mlb
lexifi-contracts.txt		lexifi-contracts.txt
loadscript		loadscript
meetingnotes2013-12-15.txt		meetingnotes2013-12-15.txt
multicontracts.mlb		multicontracts.mlb
multicontracts.sml		multicontracts.sml
notes.txt		notes.txt
pftest.sml		pftest.sml
portfolio.sml		portfolio.sml
triggers.sml		triggers.sml

Provide feedback