GitHub - jonfowler/flp-agda: functional logic programming in agda

Name		Name	Last commit message	Last commit date
Latest commit History 103 Commits
Final		Final
New		New
New2		New2
#Subs.old.agda#		#Subs.old.agda#
.#Subs.old.agda		.#Subs.old.agda
.gitignore		.gitignore
FAlg.agda		FAlg.agda
FAlg.agda~		FAlg.agda~
FAlgs.agda		FAlgs.agda
FPL.agda		FPL.agda
FPL.agda~		FPL.agda~
Other		Other
PL.agda		PL.agda
PL.agda~		PL.agda~
Sub.agda		Sub.agda
Sub.agda~		Sub.agda~
Subs.old.agda		Subs.old.agda
SubsOld.agda		SubsOld.agda
Vals.agda		Vals.agda
Vals.agda~		Vals.agda~
VecI.agda		VecI.agda
VecI.agda~		VecI.agda~
VecP.agda~		VecP.agda~
fl.agda~		fl.agda~
if.agda		if.agda
if.agda~		if.agda~
num.agda		num.agda
num.agda~		num.agda~