Lang-n-play: A language-oriented programming language with languages as first-class citizens.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
lib
LICENSE
Makefile
README
README.md
addSafeHead.lop
addSafeHead_unsafeCase.lop
addSafeListAccess_correctAccess.lop
addSafeListAccess_unsafeAccess.lop
addSafeListAccess_unsafeAccess_butChecked.lop
addSubtypingListAndPair.lop
addSubtypingListAndPair_notAdded_illTyped.lop
aux.ml
booleans.lop
combined_safeList_strategy_false_false_diverge.lop
combined_safeList_strategy_false_false_okAccess.lop
combined_safeList_strategy_false_false_return_lang.lop
combined_safeList_strategy_false_false_stuck.lop
combined_safeList_strategy_false_true_byname.lop
combined_safeList_strategy_false_true_return_lang.lop
combined_safeList_strategy_true_false_diverge.lop
combined_safeList_strategy_true_false_trappedError.lop
combined_safeList_strategy_true_true_return_lang.lop
compiler.ml
declarations.ml
elpi-checker.elpi
elpi_quoted_syntax.elpi
equality.ml
evaluator.ml
greater_lib.lop
greater_lib_booleans.lop
ifThenElse.lop
ifThenElseNotWellTyped.lop
if_lib.lop
inheritState.lop
lambdaStrategies.lop
lambdaVVnotMatcheslambdaEE.lop
length_lib.lop
lexer.ml
lexer.mll
listOfLanguages.lop
listOfLanguages_head.lop
listOfLanguages_illTyped.lop
listOfLanguages_retrieveAndCallLanguage.lop
list_boundsCheck_okAccess.lop
list_boundsCheck_trappedError.lop
loml.ml
main.ml
nestedSwithAtAnyPoint.lop
nestedSwithAtAnyPoint_noUseOfLambdas.lop
omega.lop
parallel_and_references_simple.lop
parser.ml
parser.mli
parser.mly
preprocessor.ml
referencesTypeCheck.lop
remove_test.lop
simpleStrategy.lop
simpleStrategy2.lop
simpleStrategy3.lop
strategyTester.lop
strategyTester_sameProgram.lop
typeChecker.ml
typeCheckerConfiguration.ml
valuesCrossLanguages.lop
valuesCrossLanguages_withLanguageTransformers.lop
valuesCross_typeMistmatch.lop

README.md

Lang-n-play: A language-oriented programming language with languages as first-class citizens.

Requirements

  • OCaml
  • OCaml batteries
  • ELPI/Lambda-prolog

Quick usage (from shell):
$ make
$ ./lofl <example.lop>