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
May 03, 2023 — May 03, 2024 Showing page 3 of 7 Search / Filter on:
Update README.md	Stephanie Weirich	More...				almost 2 years ago
Update README.md	Stephanie Weirich	More...				almost 2 years ago
fixed stubbing for i-app	Stephanie Weirich	More...				almost 2 years ago
notation for whnf	Stephanie Weirich	More...				almost 2 years ago
updates after first dry run	Stephanie Weirich	More...				almost 2 years ago
update README	Stephanie Weirich	More...				almost 2 years ago
update app readme	Stephanie Weirich	More...				almost 2 years ago
pass through sec. 5	Stephanie Weirich	More...				almost 2 years ago
clean up	Stephanie Weirich	More...				almost 2 years ago
remove embed	Stephanie Weirich	More...				almost 2 years ago
typo fixes	Stephanie Weirich	More...				almost 2 years ago
bug fix	Stephanie Weirich	More...				almost 2 years ago
missing files	Stephanie Weirich	More...				almost 2 years ago
cp	Stephanie Weirich	More...				almost 2 years ago
cp	Stephanie Weirich	More...				almost 2 years ago
reorg	Stephanie Weirich	More...				almost 2 years ago
instructions for lecture note sources	Stephanie Weirich	More...				almost 2 years ago
instructions for lecture note sources	Stephanie Weirich	More...				almost 2 years ago
instructions for lecture note sources	Stephanie Weirich	More...				almost 2 years ago
erasure and datatypes in doc, simplified implementation	Stephanie Weirich	More...				almost 2 years ago
cp	Stephanie Weirich	More...				almost 2 years ago
rename Runtime/Erased to Irr/Rel	Stephanie Weirich	More...				almost 2 years ago
rename Sig	Stephanie Weirich	More...				almost 2 years ago
parse to DCon True/ DCon ()	Stephanie Weirich	More...				almost 2 years ago
fix generation	Stephanie Weirich	More...				almost 2 years ago
reorg, split ott files	Stephanie Weirich	More...				almost 2 years ago
restructure repo	Stephanie Weirich	More...				almost 2 years ago
remove elaboration	Stephanie Weirich	More...				almost 2 years ago
work on lecture notes	Stephanie Weirich	More...				almost 2 years ago
README	Stephanie Weirich	More...				almost 2 years ago

←
1
2
3
4
5
6
7
→