TeamPlay-Ladders

Rewriting engine for the 'ladderisation' technique developed in collaboration with USTAN and Inria on the TeamPlay project.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Haskell		Haskell
IdrisUtils		IdrisUtils
Lang		Lang
Rewrite		Rewrite
mockups		mockups
Examples.idr		Examples.idr
Generalise.idr		Generalise.idr
Lang.idr		Lang.idr
Main.idr		Main.idr
README.md		README.md
Rewrite.idr		Rewrite.idr
SearchEq.idr		SearchEq.idr
SearchSt.idr		SearchSt.idr

Provide feedback