Skip to content

Auxiliary Library for SML (based on SMLNJ), for use as SML teaching examples

Notifications You must be signed in to change notification settings

gr-qft/aux-library

 
 

Repository files navigation

aux-library

Overview

This repository contains an auxiliary library for Standard ML, meant as a supplement to the basis library of SMLNJ. The primary purpose of this library is to concretely demonstrate various principles of functional programming, such as the use of custom datatypes, higher-order functions, exceptions, modules, and so on. The modules contained in this library will (eventually) be fully documented and accompanied with other supporting materials.

Modules List

  • Timing: Provide common utilites relating to date, time, and timing. datatypes, higher-order functions, order
  • Language: Various combinators for string -> bool functions. higher-order functions
  • Regexp: Regular expression matcher. datatypes, equality types, continuation passing style, exceptions

About

Auxiliary Library for SML (based on SMLNJ), for use as SML teaching examples

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TeX 76.6%
  • Standard ML 23.4%