suzanne.soy/typed-map
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.
7 Commits 2 Branches 0 Tags 397 KiB
Racket 100%
e6a349b419
Go to file
Georges Dupéron e6a349b419 Reduce number of threads to avoid OOM
2017-01-12 19:47:21 +01:00
scribblings Now supports foldl and foldr 2016-10-16 01:20:50 +02:00
test Use aful/unhygienic instead of afl in the test file, fixed bug which prevented internal definitions directly within the lambda for map. 2017-01-12 19:32:07 +01:00
.gitignore Initial commit 2016-10-15 05:35:20 +02:00
.travis.yml Reduce number of threads to avoid OOM 2017-01-12 19:47:21 +01:00
info.rkt Dependency on aful, not afl anymore 2017-01-12 19:40:05 +01:00
LICENSE.txt Initial commit 2016-10-15 05:35:20 +02:00
main.rkt Use aful/unhygienic instead of afl in the test file, fixed bug which prevented internal definitions directly within the lambda for map. 2017-01-12 19:32:07 +01:00
README.md Initial commit 2016-10-15 05:35:20 +02:00

README.md

Build Status, Coverage Status, Build Stats, Online Documentation.

typed-map

Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.