Mark Farrell

Polymorphic datatype

8

Allows `define-datatype` to take type parameters, as discussed in https://github.com/andmkent/datatype/issues/2. e.g. ``` (define-datatype (Optional a) [Some (a)] [None ()]) ``` Note: changes syntax of `define-datatype`; might not be quite ready...

Option datatype?

1

How might I define datatypes that take a type parameter, like Option? Would like to be able to define Option like this, but currently can't: ``` racket (define-datatype (Opt a)...

[Using Unity Engine's WWW] How to wait for a download to finish in Arcadia?

5

Hi, I'm a bit confused about how to use  in Arcadia. I want to download a texture from an online museum archive and wait for the download to finish....

Add TTFP, PFM and CTT Lecture Notes

2

This PR adds Thompson's Type Theory and Functional Programming book, Paul Taylor's Practical Foundations of Mathematics and Constable's Lecture Notes on Constructive Type Theory to the list of resources.