suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

This is related to previous commit

Browse Source
This commit is contained in:
William J. Bowman 2015-09-25 19:33:12 -04:00
parent f05be17fdf
commit 84359fc2fd
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
stdlib/maybe.rkt
View File

@ -8,7 +8,7 @@
(module+ test
(require rackunit "bool.rkt")
#;(check-equal?
(check-equal?
(case* Maybe Type (some Bool true) (Bool)
(lambda* (A : Type) (x : (Maybe A)) A)
[(none (A : Type)) IH: ()