Try Out Oneboxed URL

steinwaywhw · September 1, 2016, 1:41pm

gist.github.com

https://gist.github.com/steinwaywhw/259749631ecd4fac89dc

reg-exp-fn.sml.md

I pasted it here because it is hard to find for me. It is publicly available at [here](https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/*checkout*/trunk/ml-ulex/reg-exp.sml?revision=141&root=ml-lpt). The total order and canonical form is clearly presented here over the original ml-ulex paper. 


```ml
(* reg-exp-fn.sml
 *
 * COPYRIGHT (c) 2005 
 * John Reppy (http://www.cs.uchicago.edu/~jhr)
 * Aaron Turon (adrassi@gmail.com)
 * All rights reserved.

This file has been truncated. show original

https://steinwaywhw.github.io/ats-tutorials/

steinwaywhw · September 1, 2016, 1:44pm

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/HTMLTOC/c96.html#expressions_and_values

steinwaywhw · September 2, 2016, 1:42pm

This topic was automatically closed after 24 hours. New replies are no longer allowed.

Topic		Replies	Views
Function Template not working : segfaults Google Group	3	377	April 3, 2015
Function template syntax: a tiny question Google Group	3	401	February 2, 2015
Template and Effect Google Group	2	781	August 12, 2016
Templates and C Google Group	1	329	October 6, 2014
Extending an iterative template function to print information Google Group	7	387	February 17, 2014

Try Out Oneboxed URL

Related Topics