From ebdb419dd702018328da016d19331209177e1e00 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Mon, 11 Jan 2016 15:46:55 -0500 Subject: [PATCH] Changed oll to olly --- cur-doc/cur/cur.scrbl | 2 +- cur-doc/cur/scribblings/{oll.scrbl => olly.scrbl} | 10 +++++----- cur-lib/cur/{oll.rkt => olly.rkt} | 2 +- cur-test/cur/tests/{oll.rkt => olly.rkt} | 2 +- cur-test/cur/tests/stlc.rkt | 2 +- 5 files changed, 9 insertions(+), 9 deletions(-) rename cur-doc/cur/scribblings/{oll.scrbl => olly.scrbl} (95%) rename cur-lib/cur/{oll.rkt => olly.rkt} (99%) rename cur-test/cur/tests/{oll.rkt => olly.rkt} (99%) diff --git a/cur-doc/cur/cur.scrbl b/cur-doc/cur/cur.scrbl index bd335ac..988a74a 100644 --- a/cur-doc/cur/cur.scrbl +++ b/cur-doc/cur/cur.scrbl @@ -45,4 +45,4 @@ Everything else in @racketmodname[cur] is provided by untrusted user-land code-- @include-section{scribblings/curnel.scrbl} @include-section{scribblings/reflection.scrbl} @include-section{scribblings/stdlib.scrbl} -@include-section{scribblings/oll.scrbl} +@include-section{scribblings/olly.scrbl} diff --git a/cur-doc/cur/scribblings/oll.scrbl b/cur-doc/cur/scribblings/olly.scrbl similarity index 95% rename from cur-doc/cur/scribblings/oll.scrbl rename to cur-doc/cur/scribblings/olly.scrbl index 9c562bc..59b04ce 100644 --- a/cur-doc/cur/scribblings/oll.scrbl +++ b/cur-doc/cur/scribblings/olly.scrbl @@ -1,12 +1,12 @@ #lang scribble/manual @(require "defs.rkt") -@title{OLL: Ott-like Library} +@title{Olly: Ott-like LibrarY} -@defmodule[cur/oll] -The OLL provides syntax extensions for defining programming languages as inductive data. The library +@defmodule[cur/olly] +Olly provides syntax extensions for defining programming languages as inductive data. The library is inspired by Ott@todo{Citation needed}, which provides an language that resembles math notation for -generating Coq definitions. The purpose of the OLL is not to replace Ott, but to demonstrate how +generating Coq definitions. The purpose of Olly is not to replace Ott, but to demonstrate how powerful syntactic meta-programming can bring features previously only provided by external tools into the language. @@ -45,7 +45,7 @@ nonterminal to another. If @racket[#:vars] is given, it should be a list of meta-variables that representing variables in the language. These meta-variables should only appear in binding positions in @racket[constructors]. These variables -are represented as De Bruijn indexes, and OLL provides some functions +are represented as De Bruijn indexes, and Olly provides some functions for working with De Bruijn indexes. If @racket[#:output-coq] is given, it should be a string representing a diff --git a/cur-lib/cur/oll.rkt b/cur-lib/cur/olly.rkt similarity index 99% rename from cur-lib/cur/oll.rkt rename to cur-lib/cur/olly.rkt index acd8453..c4ce123 100644 --- a/cur-lib/cur/oll.rkt +++ b/cur-lib/cur/olly.rkt @@ -1,5 +1,5 @@ #lang s-exp "cur.rkt" -;; OLL: The OTT-Like Library +;; Olly: The OTT-Like LibrarY ;; TODO: Automagically create a parser from bnf grammar (require "stdlib/sugar.rkt" diff --git a/cur-test/cur/tests/oll.rkt b/cur-test/cur/tests/olly.rkt similarity index 99% rename from cur-test/cur/tests/oll.rkt rename to cur-test/cur/tests/olly.rkt index 04188eb..ea33ce5 100644 --- a/cur-test/cur/tests/oll.rkt +++ b/cur-test/cur/tests/olly.rkt @@ -6,7 +6,7 @@ (require rackunit cur/stdlib/sugar - cur/oll) + cur/olly) (begin-for-syntax (require rackunit) diff --git a/cur-test/cur/tests/stlc.rkt b/cur-test/cur/tests/stlc.rkt index 7143501..b459eed 100644 --- a/cur-test/cur/tests/stlc.rkt +++ b/cur-test/cur/tests/stlc.rkt @@ -3,7 +3,7 @@ rackunit cur/stdlib/nat cur/stdlib/sugar - cur/oll + cur/olly cur/stdlib/maybe cur/stdlib/bool cur/stdlib/prop)