search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Prelude update #86

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

Added "{ | true}" refinements and other mostly aesthetic changes to prelude. Fixed a test that this revealed to be broken.