PLDB Measures Concepts

miniML_error

< >

miniML_error is a minilanguage created in 2013.

Source code:

git clone https://github.com/andrejbauer/plzoo/tree/master/src/miniml_error

#965on PLDB

11Years Old

like miniml that can also abort execution

miniML_error website
miniMLerror is developed on GitHub and has 1,261 stars

miniML_error first developed in University of Ljubljana

Read more about miniML_error on the web: 1.

earl-grey.html · miniml-error.html · plb.html

View source

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Login Logout