suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,254 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
684601415e
Go to file
Eric Dobson 684601415e Make -imp simplify more, and use it in more places. 
Also add filter tests for implication.

original commit: 049057edd9634f9bf9b0c5d1e1b527df130813bf
2014-03-25 00:03:39 -07:00
pkgs/typed-racket-pkgs Make -imp simplify more, and use it in more places. 2014-03-25 00:03:39 -07:00