Frege

Settings | Report Duplicate

3

I Use This!

Very Low Activity

Commits : Listings

Analyzed 8 days ago. based on code collected 15 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 29, 2023 — May 29, 2024 Showing page 7 of 119 Search / Filter on:
fixed #277 finally	Ingo Wechsung	More...				about 6 years ago
cleaned up some older Issues	Ingo Wechsung	More...				about 6 years ago
fix #336	Ingo Wechsung	More...				about 6 years ago
moved freshVar function to Utilities	Ingo Wechsung	More...				about 6 years ago
travis can't download java8 anymore	Ingo Wechsung	More...				about 6 years ago
fix #294	Ingo Wechsung	More...				about 6 years ago
simplified test case for #332	Ingo Wechsung	More...				about 6 years ago
service commit for those of us who don't have berkely yacc	Ingo Wechsung	More...				about 6 years ago
Ord instance for Decimal	Ingo Wechsung	More...				about 6 years ago
don't unify different type constructors when they are native primitive types, especially not if equal ones	Ingo Wechsung	More...				about 6 years ago
introduce Positive and some operations on it	Ingo Wechsung	More...				about 6 years ago
sign of a Decimal	Ingo Wechsung	More...				about 6 years ago
don't let Data.Dec64 appear yet (need to load it in the repl)	Ingo Wechsung	More...				about 6 years ago
pass needs to take a Lazy arg for repl	Ingo Wechsung	More...				about 6 years ago
keep the latest 3.24 jar under a non-changing name	Ingo Wechsung	More...				about 6 years ago
make Decimal showable for work in the repl	Ingo Wechsung	More...				about 6 years ago
test code for #294	Ingo Wechsung	More...				about 6 years ago
accomodate frege repl who expects this as strict	Ingo Wechsung	More...				about 6 years ago
fix #345 by substituting actual free tyvars in fake types	Ingo Wechsung	More...				about 6 years ago
make a shadow directory when before it's needed	Ingo Wechsung	More...				about 6 years ago
final corrections - This is the last release that does not contain decimal constants, yet understands them lexically.	Ingo Wechsung	More...				about 6 years ago
move old code out of place	Ingo Wechsung	More...				about 6 years ago
check acceptance of decimal literals	Ingo Wechsung	More...				about 6 years ago
Make compiler fit for Decimal. Also enhance int/long value handling	Ingo Wechsung	More...				about 6 years ago
add the case where the string is not well-formed	Ingo Wechsung	More...				about 6 years ago
fix generic arg hint	Ingo Wechsung	More...				about 6 years ago
accept decimal literals in the grammar	Ingo Wechsung	More...				about 6 years ago
recognize decimal literals	Ingo Wechsung	More...				about 6 years ago
add PreludeDecimals to standard prelude	Ingo Wechsung	More...				about 6 years ago
remove obsolete stuff	Ingo Wechsung	More...				about 6 years ago

←
1
2
3
4
5
6
7
8
9
10
11
…
118
119
→