Brent Yorgey

We shouldn't wait for #179; we should go ahead and make `min` and `max` prefix. * A first pass would be to just remove them from `Syntax.Operators` and add them...

This should happen as part of the `Prop` extension (#217). Properties will no longer be a separate syntactic category, but just terms of type `Prop`.

Well, it didn't happen (at least not completely) as part of #217 . The next step is to just look through the code and make a plan for how to...

Here is the current organization of code related to properties: - `Disco.Property` has some utility functions for generating samples and inverting results. - `Disco.Value` has code for pretty-printing test results...

For example, https://www.microsoft.com/en-us/research/publication/lower-your-guards-a-compositional-pattern-match-coverage-checker/ is recent work in this area, and seems nice. We might be able to easily borrow their approach.

Note, however, that arithmetic patterns complicate the story here quite a bit! However, my intuition tells me that it should be doable (with some very interesting math). For example, arithmetic...

I have upped the importance of this feature. After teaching about functions and emphasizing how functions have to be defined on all inputs, it is strange to then have Disco...

Could be a nice research project for a student. I think as a first cut we should just focus on coverage checking, not termination. Termination checking could be something we...

Related: #327 . The two issues have slightly different emphases, although the implementations will have a lot of overlap. This issue is focused on being able to turn an arbitrary...

Note this makes parsing comprehensions a bit more subtle: see http://www.rntz.net/post/2018-07-10-parsing-list-comprehensions.html . But now the Disco parser already in fact parses patterns as expressions with a post-processing step to ensure...