H

hs-to-coq

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 8 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 26, 2023 — Dec 26, 2024 Showing page 1 of 98 Search / Filter on:
Update README.md	Li Yao	More...				about 4 years ago
Merge pull request #177 from Lysxia/more-binders	Li Yao	More...				about 4 years ago
Update documentation about polyrec and {struct x}	Li-yao Xia	More...				about 4 years ago
Add {struct x} edit	Li-yao Xia	More...				about 4 years ago
Update examples .h2ci	Li-yao Xia	More...				about 4 years ago
Allow multiple names in untyped implicit binders	Li-yao Xia	More...				about 4 years ago
Making Travis slightly faster.	Yao Li	More...				about 4 years ago
Update Deriv test for #176.	Yao Li	More...				about 4 years ago
Simplify parser rule SmallishTerm	Li-yao Xia	More...				about 4 years ago
Remove unused import in NewlinesParse	Li-yao Xia	More...				about 4 years ago
Merge pull request #174 from Lysxia/parser-tweaks	Li Yao	More...				about 4 years ago
Update edits in examples	Li-yao Xia	More...				about 4 years ago
Merge branch 'release'	Yao Li	More...				about 4 years ago
examples/tests: StrictPair test now passes	Li-yao Xia	More...				about 4 years ago
examples/tests: Add test for parser updates	Li-yao Xia	More...				about 4 years ago
Handle precedence of '->' in Coq expressions in edits	Li-yao Xia	More...				about 4 years ago
Allow naked expressions in generalizable binders	Li-yao Xia	More...				about 4 years ago
Generate infix notations for types and constructors	Li-yao Xia	More...				about 4 years ago
Add parser error locations	Li-yao Xia	More...				about 4 years ago
Add polyrec edit	Li-yao Xia	More...				about 4 years ago
Testing Travis updating coq-ghc-base.	Yao Li	More...				about 4 years ago
Update README for #165.	Yao Li	More...				about 4 years ago
Merge pull request #171 from Lysxia/toposort	Li Yao	More...				about 4 years ago
Fix some incomplete pattern warnings	Li-yao Xia	More...				about 4 years ago
Remove dependency on pipes, bifunctors, semigroups, validation	Li-yao Xia	More...				about 4 years ago
Update examples with new sorting	Li-yao Xia	More...				about 4 years ago
Improve preservation of original order	Li-yao Xia	More...				about 4 years ago
Remove redundant toposort	Li-yao Xia	More...				about 4 years ago
examples/ghc: Fix a rewrite rule by qualifying an identifier	Li-yao Xia	More...				about 4 years ago
Ignore pattern synonym signatures	Li-yao Xia	More...				about 4 years ago

←
1
2
3
4
5
6
7
8
9
…
97
98
→