P

pi-forall

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 7 Search / Filter on:
Update README.md	Stephanie Weirich	More...				11 months ago
Merge pull request #22 from sweirich/add-license-1	Stephanie Weirich	More...				over 1 year ago
Create LICENSE	Stephanie Weirich	More...				over 1 year ago
update pdf with typo fix	Stephanie Weirich	More...				over 1 year ago
Merge pull request #21 from dunhamsteve/fix-typo	Stephanie Weirich	More...				over 1 year ago
Fix typo in oplss.mng	Steve Dunham	More...				over 1 year ago
fix ref, Makefile	Stephanie Weirich	More...				almost 2 years ago
remove disclaimer, add acks	Stephanie Weirich	More...				almost 2 years ago
identity type as datatype	Stephanie Weirich	More...				almost 2 years ago
irrelevance examples	Stephanie Weirich	More...				almost 2 years ago
subst in result type of let in inference mode	Stephanie Weirich	More...				almost 2 years ago
add section on let expressions	Stephanie Weirich	More...				almost 2 years ago
add note about consistency of definitional equality. replace whnf let rule in figure with that for annots	Stephanie Weirich	More...				almost 2 years ago
add simple checking/inference rules to notes plus examples demonstrating the difference	Stephanie Weirich	More...				almost 2 years ago
check condition in if	Stephanie Weirich	More...				almost 2 years ago
update if rule	Stephanie Weirich	More...				almost 2 years ago
clean up letpair answer. revise Hw2	Stephanie Weirich	More...				almost 2 years ago
update i-annot and c-lambda to match version in lecture 2	Stephanie Weirich	More...				almost 2 years ago
address a few questions from first lecture	Stephanie Weirich	More...				almost 2 years ago
Merge pull request #20 from k4rtik/part2	Stephanie Weirich	More...				almost 2 years ago
Proof read up to section 5	Kartik Singhal	More...				almost 2 years ago
Fix rendering of straight quotes/backticks in listings	Kartik Singhal	More...				almost 2 years ago
Revert argument order for consistency	Kartik Singhal	More...				almost 2 years ago
add Hurkens to test suite	Stephanie Weirich	More...				almost 2 years ago
look for module in specified directory first, then cwd	Stephanie Weirich	More...				almost 2 years ago
Add paradox	Stephanie Weirich	More...				almost 2 years ago
also add Fix.pi to full	Stephanie Weirich	More...				almost 2 years ago
use unbound's instantiate	Stephanie Weirich	More...				almost 2 years ago
revert analogue	Stephanie Weirich	More...				almost 2 years ago
Merge pull request #19 from k4rtik/suggested-changes	Stephanie Weirich	More...				almost 2 years ago

←
1
2
3
4
5
6
7
→