Skip to content

Instantly share code, notes, and snippets.

@danking

danking/gist:7827976

Last active December 30, 2015 12:19
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save danking/7827976 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save danking/7827976 to your computer and use it in GitHub Desktop.
Download ZIP
My Typed Racket Fantasy
Raw
gistfile1.rkt
(: some-function : (All ([T = (TerseType A B C D)])
((State T)
A
B
->
(State T))))
(: some-other-function : (All (T)
(State T)
->
(State T)))
(: yet-another-function : (All (T)
(State T)
Number
->
Natural))
@danking
Copy link
Author

danking commented Dec 6, 2013 

(plambda: ([T = (TerseType A B C D)]) ((s : (State T)) (a : A) (b : B) -> (State T)) ...)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment