search

antitypical / TesseractCore

Tesseract’s evaluation and type system.
MIT License
30 stars 1 forks source link

Radar repro for nondeterminstic optional binding #22

Closed robrix closed 9 years ago

robrix commented 9 years ago

Closing this out since I don’t need it, but the PR and branch will remain available for reproducing the relevant radar.