E

Eff

Settings | Report Duplicate

0

I Use This!

Inactive

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 2 Search / Filter on:
Spell check	Edwin Brady	More...				about 11 years ago
12 pages!	Edwin Brady	More...				about 11 years ago
Related work	Edwin Brady	More...				about 11 years ago
Section 4	Edwin Brady	More...				about 11 years ago
More paper, section 3 done	Edwin Brady	More...				about 11 years ago
More paper	Edwin Brady	More...				about 11 years ago
Paper updates	Edwin Brady	More...				about 11 years ago
Added paper sources	Edwin Brady	More...				about 11 years ago
Add putM for mutable types in State	Edwin Brady	More...				about 11 years ago
Change Effective->Handler, Handler->OpenFile, for better names	Edwin Brady	More...				about 11 years ago
There's really no need to use Vect rather than List...	Edwin Brady	More...				about 11 years ago
Change some names and remove syntax rules now that Monad noise is gone	Edwin Brady	More...				about 11 years ago
Add handler for IO to generate pure functions	Edwin Brady	More...				about 11 years ago
A bit more reorganising, plus adding a package file	Edwin Brady	More...				about 11 years ago
Reorganise file structure	Edwin Brady	More...				about 11 years ago
Swap effect/effect' and lift/lift'	Edwin Brady	More...				about 11 years ago
Remove monad constraints	Edwin Brady	More...				about 11 years ago
Make lift implicit	Edwin Brady	More...				about 11 years ago
Add List instance for Select	Edwin Brady	More...				about 11 years ago
Add Select effect and n-Queens examples	Edwin Brady	More...				about 11 years ago
Lots of changes, particularly exception catching and 'new' command	Edwin Brady	More...				about 11 years ago
Change a few names (Eff, EffM, EffT)	Edwin Brady	More...				about 11 years ago
Fix evaluator, exception and random effects	Edwin Brady	More...				about 11 years ago
Added labels to the Eff language	Edwin Brady	More...				about 11 years ago
Move Effective instance to environment from EFF type	Edwin Brady	More...				about 11 years ago
Add labels and Effect synonym	Edwin Brady	More...				about 11 years ago
Mutable resources now working, and add File example	Edwin Brady	More...				about 11 years ago
Start work on mutable effect types	Edwin Brady	More...				over 11 years ago
Try some syntax and higher order things	Edwin Brady	More...				over 11 years ago
Add Effective as a separate module	Edwin Brady	More...				over 11 years ago

←
1
2
→