danieljharvey
Follow
danieljharvey
Follow
Achievements
Achievements
Highlights
- Pro
Pinned
2,103 contributions in the last year
Less
More
Contribution activity
July 2021
Created 17 commits in 2 repositories
Created a pull request in danieljharvey/mimsa that received 1 comment
Opened 15 other pull requests in 2 repositories
danieljharvey/mimsa
11
merged
1
open
danieljharvey/koa-router-fp-ts
3
merged
Created an issue in danieljharvey/mimsa that received 2 comments
Higher kinded types
So currently we can make this function (liftA2):
\map -> \ap -> \f -> \fA -> \fB -> ap(map(f)(fA))(fB);
Currently the compiler gives it the type:
(a …
2
comments
Opened 15 other issues in 1 repository
danieljharvey/mimsa
9
open
6
closed
- Get reverse deps of a function
- Highlight errors in code editor
- Task functions
- Stop UI making bindings with bad names
- Documentation
- Clean up stdlib and add "remove" action
- Show function version number in UI
- Allow type search to check inside records
- Only import required functions in generated JS
- Can't pattern match to nested constructors
- Property tests
- add let pattern
- stdlib: task functions
- stdlib: array functions
- stdlib: string functions
10
contributions
in private repositories
Jul 1 – Jul 2